1
00:00:00,163 --> 00:00:02,369
(muzică optimistă)

2
00:00:02,000 --> 00:00:07,000
Descărcat de pe
YTS.MX

3
00:00:02,369 --> 00:00:04,060
(claxone)

4
00:00:04,060 --> 00:00:06,663
- Lumea în care trăim
poate părea destul de ilogic.

5
00:00:07,630 --> 00:00:09,750
Lucrurile pe care le spun oamenii,

6
00:00:08,000 --> 00:00:13,000
Site-ul oficial de filme YIFY:
YTS.MX

7
00:00:09,750 --> 00:00:11,193
felul în care ne comportăm,

8
00:00:12,250 --> 00:00:14,856
alegerile complexe pe care trebuie să le facem.

9
00:00:14,856 --> 00:00:17,170
(oamenii strigând)

10
00:00:17,170 --> 00:00:18,970
Care este cea mai rapidă cale de a ajunge acasă?

11
00:00:20,330 --> 00:00:22,153
Pot să am încredere în vreunul dintre voi?

12
00:00:24,052 --> 00:00:25,452
De unde ați venit cu toții?

13
00:00:26,670 --> 00:00:29,690
Procesul acela de a face
simțul tuturor acestor lucruri,

14
00:00:29,690 --> 00:00:32,770
de sortare între cele
adevărul și prostiile,

15
00:00:32,770 --> 00:00:36,220
se rezumă la una dintre cele mai multe
instrumente simple și totuși puternice

16
00:00:36,220 --> 00:00:39,023
creat vreodată de oameni, logica.

17
00:00:40,010 --> 00:00:42,340
- Da, da.

18
00:00:42,340 --> 00:00:44,710
Cu siguranță există frumusețe în logică!

19
00:00:44,710 --> 00:00:48,481
- Cui i-ar plăcea să fie niște bucăți de computer?

20
00:00:48,481 --> 00:00:50,100
- [Copii] Da!

21
00:00:50,100 --> 00:00:52,160
- În clădirea de lângă mine la serviciu,

22
00:00:52,160 --> 00:00:54,547
este o uşă şi există
un semn pe el care spune:

23
00:00:54,547 --> 00:00:57,993
„Această ușă trebuie păstrată
închis în orice moment.”

24
00:00:57,993 --> 00:01:01,040
Mă uit la asta cu uimire, chiar?

25
00:01:01,040 --> 00:01:02,500
De ce ai construit o ușă atunci?

26
00:01:02,500 --> 00:01:05,850
- Această propoziție este adevărată sau falsă?

27
00:01:05,850 --> 00:01:08,810
Filosofie, matematică, știință și limbaj,

28
00:01:08,810 --> 00:01:11,090
logica este motorul tuturor.

29
00:01:11,090 --> 00:01:13,800
De fapt, conduce procesul fundamental

30
00:01:13,800 --> 00:01:15,243
de raționament în sine.

31
00:01:16,129 --> 00:01:18,510
Sunt profesor de informatică.

32
00:01:18,510 --> 00:01:20,003
Informaticienii tind să gândească

33
00:01:20,003 --> 00:01:22,380
acea logica sunt genunchii albinei.

34
00:01:22,380 --> 00:01:25,063
Deci, rezultă că eu
cred că logica este genială.

35
00:01:26,360 --> 00:01:29,432
Logica i-a inspirat pe cei mai mari boffini ai noștri.

36
00:01:29,432 --> 00:01:31,490
- Eu sunt Socrate!

37
00:01:31,490 --> 00:01:34,160
- [Narator] Ne-a fost dat
tehnologii de transformare.

38
00:01:34,160 --> 00:01:36,020
- Delta 11, raportează-ți punctul de intrare.

39
00:01:36,020 --> 00:01:37,420
- [Narator] Și chiar ne-a făcut să ne întrebăm

40
00:01:37,420 --> 00:01:39,276
ce înseamnă să fii om.

41
00:01:39,276 --> 00:01:40,109
- Pleacă cu capul!

42
00:01:40,109 --> 00:01:42,080
- Vreau să văd dacă există vreo limită

43
00:01:42,080 --> 00:01:44,253
la ce poate face logica pentru noi.

44
00:01:45,230 --> 00:01:48,183
Așa că, alături de mine, ar fi
teribil de ilogic să nu.

45
00:01:54,186 --> 00:01:56,769
(muzică optimistă)

46
00:02:00,013 --> 00:02:03,100
Logica este chiar în centrul a ceea ce fac.

47
00:02:03,100 --> 00:02:05,790
În urmă cu aproximativ 15 ani, oarecum din întâmplare,

48
00:02:05,790 --> 00:02:09,110
Am creat ceva care avea
un impact foarte mare aici,

49
00:02:09,110 --> 00:02:11,310
pe etajele comerciale
al City of London.

50
00:02:16,240 --> 00:02:18,610
Era un program de calculator pe care l-am numit ZIP,

51
00:02:18,610 --> 00:02:21,053
și a folosit logica pentru a replica asta,

52
00:02:21,900 --> 00:02:24,220
o tradiție veche de secole
a comercianților umani,

53
00:02:24,220 --> 00:02:26,780
presupus învestit cu
aptitudini foarte speciale,

54
00:02:26,780 --> 00:02:29,223
înghesuiți în camere,
strigându-se unul la altul.

55
00:02:30,734 --> 00:02:32,250
(oamenii strigând)

56
00:02:32,250 --> 00:02:35,460
Este atât de simplu, doar
câteva concluzii logice,

57
00:02:35,460 --> 00:02:38,350
decizii și puțină matematică.

58
00:02:38,350 --> 00:02:41,870
Învață din comerțul său
succese și eșecuri.

59
00:02:41,870 --> 00:02:44,640
Scopul său este să comercializeze ca
cât mai profitabil posibil

60
00:02:44,640 --> 00:02:46,230
pe o piață în mișcare rapidă,

61
00:02:46,230 --> 00:02:48,980
unde nivelurile de aprovizionare şi
cererea se schimbă rapid.

62
00:02:52,650 --> 00:02:56,030
S-a dovedit că ZIP,
construit direct pe logică,

63
00:02:56,030 --> 00:02:58,823
a fost impresionant de priceput
la acest negoţ.

64
00:02:59,930 --> 00:03:02,550
De fapt, astăzi, pe multe piețe,

65
00:03:02,550 --> 00:03:05,510
miliarde sau trilioane de dolari'
în valoare de oferte trec prin

66
00:03:05,510 --> 00:03:07,600
fără nicio intervenție umană,

67
00:03:07,600 --> 00:03:09,150
ceea ce este oarecum uluitor.

68
00:03:11,420 --> 00:03:14,260
În fiecare zi, computer
programe, pe cont propriu,

69
00:03:14,260 --> 00:03:16,710
face afaceri care determina
costul a tot

70
00:03:16,710 --> 00:03:20,030
de la combustibilul și hrana noastră, până la
valoarea pensiilor noastre.

71
00:03:20,030 --> 00:03:21,473
Sunt lucruri destul de importante!

72
00:03:23,100 --> 00:03:25,500
Și, în fiecare zi, oameni de știință ca mine

73
00:03:25,500 --> 00:03:28,060
câștiga existența folosind
logica de a gasi solutii

74
00:03:28,060 --> 00:03:30,793
la tot felul de altele
provocări din lumea reală.

75
00:03:32,450 --> 00:03:35,360
Deci, de ce nu sunt la fel de bogat ca Bill Gates?

76
00:03:35,360 --> 00:03:38,520
Ei bine, am dat departe de
Software ZIP gratuit.

77
00:03:38,520 --> 00:03:42,193
Și privind în urmă, asta a fost
probabil nu mișcarea cea mai logică.

78
00:03:47,140 --> 00:03:49,060
Deci, ce este logica?

79
00:03:49,060 --> 00:03:51,913
Ce înseamnă să fii logic?

80
00:03:53,122 --> 00:03:54,720
- Aș dori o halbă de bere, te rog.

81
00:03:54,720 --> 00:03:56,420
- [Naratorul] Ei bine, toate
trebuie să-l explici

82
00:03:56,420 --> 00:03:58,983
sunt trei logicieni și un băutor.

83
00:04:00,870 --> 00:04:04,693
Logica este de fapt totul despre
regulile raționamentului corect.

84
00:04:05,790 --> 00:04:07,250
Lasă-mă să-ți spun o glumă.

85
00:04:07,250 --> 00:04:09,880
Trei logicieni intră într-un bar.

86
00:04:09,880 --> 00:04:11,240
Spune barmanul.

87
00:04:11,240 --> 00:04:13,520
- Domnilor, ați dori o bere?

88
00:04:13,520 --> 00:04:15,020
- Și primul logician spune.

89
00:04:15,950 --> 00:04:17,420
- Nu știu.

90
00:04:17,420 --> 00:04:18,993
- Spune al doilea logician.

91
00:04:20,188 --> 00:04:21,980
- Nu știu.

92
00:04:21,980 --> 00:04:24,390
- Și apoi spune al treilea logician.

93
00:04:24,390 --> 00:04:27,234
- Da, da, toți ne-am dori o bere.

94
00:04:27,234 --> 00:04:28,870
(razand)

95
00:04:28,870 --> 00:04:30,880
- Bine, deci nu este
exact o despărțire laterală,

96
00:04:30,880 --> 00:04:34,910
râde-n hohote, mai mult
de un chiot pentru tocilari.

97
00:04:34,910 --> 00:04:36,530
Dar ce s-a întâmplat acolo?

98
00:04:36,530 --> 00:04:39,430
Ei bine, iartă-mă, mă duc
pentru a analiza acea glumă până la moarte.

99
00:04:41,500 --> 00:04:43,727
Amintiți-vă, întrebarea barmanului a fost:

100
00:04:43,727 --> 00:04:45,887
— V-ar plăcea toţi trei o bere?

101
00:04:46,870 --> 00:04:50,340
Cheia aici sunt cei trei biți.

102
00:04:50,340 --> 00:04:52,800
Dacă vreunul dintre acei logicieni
nu vrea o bere,

103
00:04:52,800 --> 00:04:54,890
atunci ar putea să răspundă nu.

104
00:04:54,890 --> 00:04:57,380
Asta pentru că dacă cineva nu vrea o bere,

105
00:04:57,380 --> 00:04:59,740
nu toti isi doresc unul.

106
00:04:59,740 --> 00:05:01,660
Un logician vrea o bere,

107
00:05:01,660 --> 00:05:03,210
dar nu poate vorbi pentru ceilalți,

108
00:05:03,210 --> 00:05:05,567
așa că trebuie să spună: „Nu știu”.

109
00:05:06,710 --> 00:05:08,833
Exact același lucru este valabil și pentru logicianul doi.

110
00:05:09,850 --> 00:05:11,980
Apoi, din fericire pentru logicienii unu și doi,

111
00:05:11,980 --> 00:05:13,930
logicianul trei vrea și o bere,

112
00:05:13,930 --> 00:05:17,260
și astfel folosește corect inferența logică

113
00:05:17,260 --> 00:05:19,560
pentru a ajunge la dreapta
răspuns la întrebare.

114
00:05:20,420 --> 00:05:24,150
- Da, da, toți ne-am dori o bere.

115
00:05:24,150 --> 00:05:25,210
- În sfârșit!

116
00:05:25,210 --> 00:05:27,100
Logicianul trei pune capăt chinului

117
00:05:27,100 --> 00:05:29,930
pentru că poate vorbi în numele tuturor.

118
00:05:29,930 --> 00:05:30,793
Noroc pentru asta!

119
00:05:32,970 --> 00:05:34,740
Important de înțeles

120
00:05:34,740 --> 00:05:36,840
este că logica nu este cunoaștere.

121
00:05:36,840 --> 00:05:38,820
Logica nu creează cunoștințe,

122
00:05:38,820 --> 00:05:41,240
ceea ce face este că ne oferă reguli de fontă

123
00:05:41,240 --> 00:05:44,073
pentru modul de organizare și manipulare a cunoștințelor.

124
00:05:45,010 --> 00:05:48,370
Chiar și așa, calitatea de
concluziile pe care le scoți

125
00:05:48,370 --> 00:05:51,980
depinde de calitatea
ideile pe care le pui.

126
00:05:51,980 --> 00:05:52,980
Timp, vă rog, domnilor!

127
00:05:55,116 --> 00:05:56,699
- [Toate] Ora 11!

128
00:06:03,483 --> 00:06:04,470
- [Narator] Ar fi o lume veche amuzantă

129
00:06:04,470 --> 00:06:06,983
dacă am respectat regulile
de logica tot timpul.

130
00:06:23,320 --> 00:06:25,170
În zilele noastre, logica este studiată

131
00:06:25,170 --> 00:06:28,450
și a predat la nivel academic
instituții din întreaga lume.

132
00:06:28,450 --> 00:06:31,780
Istoria sa se întinde în urmă cu 2.500 de ani,

133
00:06:31,780 --> 00:06:34,403
până în epoca grecului
filozof, Aristotel.

134
00:06:35,240 --> 00:06:38,190
El a creat primele reguli formale ale logicii

135
00:06:38,190 --> 00:06:40,020
care ar guverna raționamentul bun,

136
00:06:40,020 --> 00:06:42,413
gândire clară și argumentare de încredere.

137
00:06:44,010 --> 00:06:48,037
Cel mai faimos al lui Aristotel
instrument logic este silogismul.

138
00:06:48,037 --> 00:06:52,150
- Un silogism este un cert
un simplu argument

139
00:06:52,150 --> 00:06:54,380
constând din trei propoziţii.

140
00:06:54,380 --> 00:06:57,150
Și primele două
propozițiile sunt premisele,

141
00:06:57,150 --> 00:06:59,750
lucrurile pentru care ne luăm
acordat în argumentare.

142
00:07:12,190 --> 00:07:15,180
Deci, de exemplu, toți oamenii sunt muritori,

143
00:07:15,180 --> 00:07:17,210
Socrate este un om.

144
00:07:17,210 --> 00:07:18,890
Acestea sunt cele două premise ale noastre.

145
00:07:18,890 --> 00:07:21,130
Și din ei, tragem concluzia,

146
00:07:21,130 --> 00:07:22,563
Socrate este muritor.

147
00:07:23,660 --> 00:07:26,880
Exemplul lui Aristotel este
bun raționament logic.

148
00:07:26,880 --> 00:07:30,670
În primul rând, luăm unul
premisă sau lucru pe care îl știm,

149
00:07:30,670 --> 00:07:32,430
toți oamenii sunt muritori.

150
00:07:32,430 --> 00:07:33,263
- Da, într-adevăr.

151
00:07:34,536 --> 00:07:36,450
Eu sunt Socrate.

152
00:07:36,450 --> 00:07:38,946
- [Narator] Atunci pereche
el cu al doilea.

153
00:07:38,946 --> 00:07:40,510
- Sunt bărbat.

154
00:07:40,510 --> 00:07:43,180
- [Narator] Atunci noi
a da seama sau a deduce că,

155
00:07:43,180 --> 00:07:46,328
vai, Socrate este muritor.

156
00:07:46,328 --> 00:07:47,995
- Asta mă întristează.

157
00:07:50,020 --> 00:07:51,580
- [Naratorul] Dacă dvs
spațiile sunt de încredere,

158
00:07:51,580 --> 00:07:53,370
iar tu urmezi regulile lui Aristotel,

159
00:07:53,370 --> 00:07:55,453
primești și răspunsuri de încredere.

160
00:07:58,690 --> 00:08:00,670
- Dar teoria lui Aristotel a silogismului

161
00:08:00,670 --> 00:08:03,620
poate face față unor argumente mai complicate

162
00:08:03,620 --> 00:08:08,203
care nu au doar toate în
ei, dar unii în ei, și nu.

163
00:08:11,560 --> 00:08:13,330
Luați în considerare toate acestea,

164
00:08:13,330 --> 00:08:16,130
și găsești că sunt multe
a modalităţilor de a face un silogism.

165
00:08:19,580 --> 00:08:21,250
Deci, dacă înmulți asta,

166
00:08:21,250 --> 00:08:25,130
descoperi că există
256 de feluri de silogism.

167
00:08:25,130 --> 00:08:28,630
Și Aristotel a identificat 19 dintre acestea

168
00:08:28,630 --> 00:08:31,190
ca fiind valabil din punct de vedere logic,

169
00:08:31,190 --> 00:08:33,370
astfel încât, dacă premisele sunt adevărate,

170
00:08:33,370 --> 00:08:36,030
concluzia trebuie să fie și adevărată.

171
00:08:36,030 --> 00:08:39,560
Și toate celelalte din acele 256 de forme,

172
00:08:39,560 --> 00:08:42,910
poți avea premise adevărate
dar o concluzie falsă,

173
00:08:42,910 --> 00:08:46,340
deci argumentarea în acest fel este greșită,

174
00:08:46,340 --> 00:08:49,690
astfel de silogisme sunt erori.

175
00:08:49,690 --> 00:08:53,280
- Este vechea eroare logică,
toate pisicile au patru picioare.

176
00:08:53,280 --> 00:08:56,000
Câinele meu are patru picioare.

177
00:08:56,000 --> 00:08:58,317
- Prin urmare, câinele meu este o pisică.

178
00:08:58,317 --> 00:09:00,300
(publicul râde)

179
00:09:00,300 --> 00:09:02,473
- El suferă de logica politicienilor!

180
00:09:03,490 --> 00:09:06,450
- [Naratorul] Asta este doar
una din erourile lui Aristotel.

181
00:09:06,450 --> 00:09:10,000
Seamănă cu o logică bună,
ambele premise sunt adevărate,

182
00:09:10,000 --> 00:09:11,680
dar felul în care sunt organizate

183
00:09:11,680 --> 00:09:14,550
înseamnă că raționamentul este
complet înapoi,

184
00:09:14,550 --> 00:09:16,800
iar concluzia, nebuni.

185
00:09:16,800 --> 00:09:18,180
- Trebuie făcut ceva.

186
00:09:18,180 --> 00:09:20,400
Acesta este ceva,
prin urmare, trebuie să o facem.

187
00:09:20,400 --> 00:09:23,560
- Dar făcând lucrul greșit
este mai rău decât să nu faci nimic.

188
00:09:23,560 --> 00:09:25,753
- A face orice este
mai rău decât să nu faci nimic.

189
00:09:31,820 --> 00:09:34,200
- [Naratorul] Așa a fost
puterea logicii lui Aristotel

190
00:09:34,200 --> 00:09:36,180
că savanții l-au folosit și predat,

191
00:09:36,180 --> 00:09:38,420
dar de fapt nu a făcut o
foarte mult să-l schimbi,

192
00:09:38,420 --> 00:09:40,683
pentru următorii 2.000 de ani.

193
00:09:42,480 --> 00:09:45,460
Dar nu au fost doar filozofi
care erau îndrăgostiți de logică.

194
00:09:45,460 --> 00:09:48,573
Până în secolul al XIX-lea,
și publicul se îndrăgostise de asta.

195
00:09:49,960 --> 00:09:53,600
Pentru aceasta, mulțumirile noastre trebuie
merge în principal un matematician

196
00:09:53,600 --> 00:09:54,890
care și-a petrecut cea mai mare parte a vieții

197
00:09:54,890 --> 00:09:57,090
lucrând la Christchurch, în Oxford.

198
00:09:57,090 --> 00:09:58,680
Charles Dodgson.

199
00:09:58,680 --> 00:10:02,283
El este mult mai cunoscut prin
pseudonimul lui, Lewis Carroll.

200
00:10:04,000 --> 00:10:07,790
- Cărțile de matematică au fost
în principal sub numele său adevărat,

201
00:10:07,790 --> 00:10:10,000
Charles Lutwidge Dodgson,

202
00:10:10,000 --> 00:10:13,540
dar a ales să-l folosească pe a lui
pseudonime, Lewis Carroll,

203
00:10:13,540 --> 00:10:16,360
pentru jocul de logică și logica simbolică,

204
00:10:16,360 --> 00:10:18,833
clar pentru a-i oferi un public mai larg.

205
00:10:30,190 --> 00:10:32,537
- Explică-te, copile.

206
00:10:32,537 --> 00:10:35,780
- [Narator] Al lui Alice
aventurile pot părea neplăcute

207
00:10:35,780 --> 00:10:38,120
dar, din ce în ce mai curios,

208
00:10:38,120 --> 00:10:42,120
ea a fost de fapt până la
globii ei ochi în logică.

209
00:10:42,120 --> 00:10:44,080
- În petrecerea ceaiului nebun,

210
00:10:44,080 --> 00:10:48,550
iepurele de martie spune: „Tu
trebuie să spui ce vrei să spui.”

211
00:10:48,550 --> 00:10:51,857
Și Alice răspunde „Ei bine,
Adică ceea ce spun.

212
00:10:51,857 --> 00:10:53,697
— Este același lucru, știi.

213
00:10:54,698 --> 00:10:57,937
Pălărierul spune: „Tu
ar putea la fel de bine să spun că,

214
00:10:57,937 --> 00:11:02,140
„„Văd ce mănânc” este
la fel ca: „Eu mănânc ce văd”.

215
00:11:02,140 --> 00:11:03,792
- Te-am prins!

216
00:11:03,792 --> 00:11:05,375
Sticlele nu vorbesc!

217
00:11:06,260 --> 00:11:09,260
- [Naratorul] Dodgson era
atât de dornic să prezinte oameni

218
00:11:09,260 --> 00:11:10,850
spre deliciile logicii,

219
00:11:10,850 --> 00:11:15,850
că a scris inițial o carte
numită Logic For Ladies.

220
00:11:15,900 --> 00:11:18,670
- Era foarte conștient
că fetele în special

221
00:11:18,670 --> 00:11:19,800
nu au fost auzite,

222
00:11:19,800 --> 00:11:22,430
nu li s-a dat
șansa de a merge la școală,

223
00:11:22,430 --> 00:11:25,400
foarte putini au avut ocazia
de a merge la universitate.

224
00:11:25,400 --> 00:11:27,893
Cu siguranță nu au fost
capabil să obțină o diplomă.

225
00:11:29,770 --> 00:11:31,300
- [Narator] Din fericire pentru noi, băieții,

226
00:11:31,300 --> 00:11:33,340
Dodgson sa răzgândit

227
00:11:33,340 --> 00:11:37,640
iar „Logic For Ladies” a fost
redenumit „Logica simbolică”.

228
00:11:37,640 --> 00:11:40,963
Împreună cu „The Game Of
Logic”, s-a descurcat surprinzător de bine.

229
00:11:42,060 --> 00:11:45,090
- A simțit că tinerii au nevoie de un instrument

230
00:11:45,090 --> 00:11:47,390
pentru a detecta argumente greșite

231
00:11:47,390 --> 00:11:51,640
ca s-ar putea întâlni
în cărți și reviste.

232
00:11:51,640 --> 00:11:55,083
El a vrut ca ei să aibă
capacitatea de a detecta asta.

233
00:11:56,930 --> 00:11:58,200
- În timp ce intenţiile lui Dodgson

234
00:11:58,200 --> 00:12:01,310
l-ar fi făcut pe Aristotel
mândru, unele din silogismele sale

235
00:12:01,310 --> 00:12:03,723
ieși în evidență astăzi din motive greșite.

236
00:12:05,150 --> 00:12:06,793
Ce ai de gând să închei?

237
00:12:07,740 --> 00:12:08,907
Fără semne pentru a spune,

238
00:12:08,907 --> 00:12:11,867
„Anglia victoriană a fost
intrinsec antisemit”.

239
00:12:20,300 --> 00:12:23,030
Cred că Dodgson ar fi făcut-o
aprobată din toată inima

240
00:12:23,030 --> 00:12:26,650
dintre cele mai populare de astăzi
joc de logică, Sudoku.

241
00:12:26,650 --> 00:12:28,830
E ceva
captivant în privința faptului

242
00:12:28,830 --> 00:12:31,360
acea logica iti spune
răspunsul trebuie să fie acolo,

243
00:12:31,360 --> 00:12:34,310
dar trebuie să aplici
raționament logic pentru a-l găsi.

244
00:12:34,310 --> 00:12:36,370
Poate fi cu adevărat captivant,

245
00:12:36,370 --> 00:12:39,323
dar poate fi și cu adevărat
frustrant și enervant, de asemenea.

246
00:12:43,920 --> 00:12:46,890
Charles Dodgson fusese cel
prima persoană care a popularizat

247
00:12:46,890 --> 00:12:49,923
ideea raționamentului logic
și gândirea critică.

248
00:12:51,890 --> 00:12:54,380
Dar, cu toată popularitatea sa în creștere,

249
00:12:54,380 --> 00:12:57,393
logica în sine era datorată unui upgrade.

250
00:13:00,180 --> 00:13:03,760
În 1847, acest revoluționar
cartea a fost publicată.

251
00:13:03,760 --> 00:13:06,610
Se numește „Matematicul
Analiza logicii”.

252
00:13:06,610 --> 00:13:09,390
Acum, asta nu este logic
filozofi sau fani ai puzzle-urilor.

253
00:13:09,390 --> 00:13:11,310
Autorul acestei cărți argumentează

254
00:13:11,310 --> 00:13:14,130
că scopul real
a logicii este matematica.

255
00:13:14,130 --> 00:13:16,230
Și această carte a fost scrisă de George Boole.

256
00:13:19,620 --> 00:13:22,150
Născut într-o familie săracă din Lincoln,

257
00:13:22,150 --> 00:13:25,980
Boole a stăpânit matematica
la o vârstă fantastic de fragedă

258
00:13:25,980 --> 00:13:28,923
și, până la 20 de ani, își deschisese propria școală.

259
00:13:30,850 --> 00:13:32,810
Marea idee a lui Boole a fost acea logică

260
00:13:32,810 --> 00:13:36,060
era de fapt mai aproape de
matematică decât filozofie.

261
00:13:36,060 --> 00:13:38,300
Tot ce trebuia să faci era să schimbi cuvintele

262
00:13:38,300 --> 00:13:40,480
într-un argument logic la simboluri,

263
00:13:40,480 --> 00:13:43,520
si atunci s-ar putea rezolva
exact ca o ecuație.

264
00:13:43,520 --> 00:13:46,623
L-a numit calculul lui de raționament.

265
00:13:50,520 --> 00:13:54,900
În primul rând, a demonstrat asta
literele pe care le folosim în algebră

266
00:13:54,900 --> 00:13:57,840
a reprezenta numere poate
de fapt folosit pentru a reprezenta

267
00:13:57,840 --> 00:14:00,490
clase întregi de lucruri din lumea reală.

268
00:14:00,490 --> 00:14:03,600
Deci, de exemplu, noi
ar putea avea clasa, X,

269
00:14:03,600 --> 00:14:05,700
de lucruri care sunt pufoase,

270
00:14:05,700 --> 00:14:09,163
și clasa, Y, a lucrurilor care latră.

271
00:14:10,900 --> 00:14:13,270
În al doilea rând, a introdus un set de operatori

272
00:14:13,270 --> 00:14:15,750
pentru combinarea acestor clase de lucruri

273
00:14:15,750 --> 00:14:18,690
cele trei cele mai importante
cele sunt și, sau și nu,

274
00:14:18,690 --> 00:14:21,800
și sunt cunoscuți ca boolean
operatori în cinstea lui.

275
00:14:21,800 --> 00:14:25,040
Deci, dacă ne redesenăm clasele
astfel încât acestea să se suprapună,

276
00:14:25,040 --> 00:14:26,010
bitul din mijloc,

277
00:14:26,010 --> 00:14:30,940
astea sunt lucrurile care sunt
pufos sau scoarță, X și Y.

278
00:14:30,940 --> 00:14:33,640
Dacă ne uităm la întreg
dintre cele două cercuri,

279
00:14:33,640 --> 00:14:36,130
Ei bine, acestea sunt lucrurile care sunt
fie pufoase, fie latră.

280
00:14:36,130 --> 00:14:38,170
Deci este X sau Y.

281
00:14:38,170 --> 00:14:40,070
Și, în sfârșit, dacă ne gândim
despre zona de afară,

282
00:14:40,070 --> 00:14:43,010
ei bine, nu sunt nici pufoși, nici latră

283
00:14:43,010 --> 00:14:45,360
deci nu este X și nu Y,

284
00:14:45,360 --> 00:14:47,220
lucruri care nu sunt pufoase și nu latră.

285
00:14:47,220 --> 00:14:48,053
Ca mine.

286
00:14:49,641 --> 00:14:50,920
Noua logică matematică a lui Boole

287
00:14:50,920 --> 00:14:52,720
reduce orice problemă logică

288
00:14:52,720 --> 00:14:56,140
la simboluri care pot fi
combinate în moduri noi.

289
00:14:56,140 --> 00:14:58,703
Și a fost o finală
și inovație crucială.

290
00:15:00,130 --> 00:15:02,470
În noua logică matematică a lui Boole,

291
00:15:02,470 --> 00:15:05,160
totul este fie înăuntru, fie în afară,

292
00:15:05,160 --> 00:15:07,820
afirmațiile sunt fie adevărate, fie false,

293
00:15:07,820 --> 00:15:10,513
totul este fie unul, fie zero.

294
00:15:12,080 --> 00:15:14,687
De exemplu, dacă aș fi
să întreb câinele meu, Floss,

295
00:15:14,687 --> 00:15:17,610
— Ești pufos? și „Latrați?”

296
00:15:17,610 --> 00:15:19,110
ar trebui să latre: „Da!”

297
00:15:20,510 --> 00:15:23,790
Luând una ca să însemne da
și zero pentru a însemna nu,

298
00:15:23,790 --> 00:15:25,463
cu Boole, obținem asta.

299
00:15:26,580 --> 00:15:29,540
Era cu totul nou
formă de raționament logic.

300
00:15:29,540 --> 00:15:32,430
Aparent orice ar putea
se rezuma la simboluri

301
00:15:32,430 --> 00:15:33,863
și doar două numere.

302
00:15:35,300 --> 00:15:37,410
Și în domeniul meu este viziunea lui Boole

303
00:15:37,410 --> 00:15:39,440
s-ar dovedi transformator.

304
00:15:39,440 --> 00:15:41,340
La aproape un secol de la moartea sa,

305
00:15:41,340 --> 00:15:44,263
logica lui avea să devină
limbajul de calcul.

306
00:15:45,590 --> 00:15:48,550
- Eroul meu logic trebuie să fie George Boole,

307
00:15:48,550 --> 00:15:50,800
Logica booleană este atât de simplă,

308
00:15:50,800 --> 00:15:54,840
totuşi atât de fundamentală pentru
explicând lumea noastră,

309
00:15:54,840 --> 00:15:58,920
şi chiar lumea de astăzi, care
este plin de sisteme complexe

310
00:15:58,920 --> 00:16:00,840
pe care nu și-ar fi putut imagina niciodată,

311
00:16:00,840 --> 00:16:04,320
iar logica booleană permite
noi să raţionăm despre ele.

312
00:16:05,329 --> 00:16:06,246
Ce tip!

313
00:16:18,613 --> 00:16:19,700
Cred că zona de aplicare

314
00:16:19,700 --> 00:16:22,410
și utilizarea logicii
s-a schimbat dramatic

315
00:16:22,410 --> 00:16:24,580
în ultimii 20-30 de ani

316
00:16:24,580 --> 00:16:28,360
odată cu apariția computerului
știință și sistem software.

317
00:16:28,360 --> 00:16:29,970
Deoarece fundamental aceste sisteme

318
00:16:29,970 --> 00:16:33,210
sunt aproximativ zero și unu,

319
00:16:33,210 --> 00:16:36,020
entități care se mapează pe adevăr și fals.

320
00:16:36,020 --> 00:16:38,590
Și ceea ce cred eu este just
absolut genial

321
00:16:38,590 --> 00:16:41,940
este la care ne întoarcem
multe idei logice

322
00:16:41,940 --> 00:16:44,970
inventat și conceput acum peste 100 de ani,

323
00:16:44,970 --> 00:16:48,010
înainte ca cineva să-și imagineze sistemele

324
00:16:48,010 --> 00:16:49,460
la care ar fi aplicabile.

325
00:16:50,750 --> 00:16:54,210
- Boole nu a știut niciodată, dar mulțumesc
pentru el, toate computerele de astăzi

326
00:16:54,210 --> 00:16:58,450
procesează informațiile acestora
ca cifre binare sau biți.

327
00:16:58,450 --> 00:17:01,500
Cu binar poate fi reprezentat orice număr

328
00:17:01,500 --> 00:17:04,373
prin combinații de unu și zero.

329
00:17:07,180 --> 00:17:10,020
O să fac un experiment.

330
00:17:10,020 --> 00:17:11,600
Intră.

331
00:17:11,600 --> 00:17:13,720
Deci chestia tare cu numerele binare

332
00:17:13,720 --> 00:17:16,590
este că sunt cu adevărat ușoare
pentru ca computerele să le manipuleze,

333
00:17:16,590 --> 00:17:17,970
a adăuga și a scădea,

334
00:17:17,970 --> 00:17:20,653
sau înmulțiți sau împărțiți sau
să se compare între ele.

335
00:17:21,600 --> 00:17:24,600
De fapt, oricând vezi
un computer care face orice,

336
00:17:24,600 --> 00:17:26,560
fie că este vorba de adunarea a două numere împreună

337
00:17:26,560 --> 00:17:28,880
sau calcularea instrumentelor derivate de la bursa,

338
00:17:28,880 --> 00:17:32,993
în interior, folosește Boolean
logic să faci tocmai asta.

339
00:17:35,310 --> 00:17:37,290
Vreau să demonstrez cum este logica lui Boole

340
00:17:37,290 --> 00:17:38,823
poate fi folosit pentru calcul.

341
00:17:39,920 --> 00:17:41,910
În cel mai simplu mod, computerele funcționează

342
00:17:41,910 --> 00:17:45,280
prin trecerea de biţi de
informații, unu și zerouri

343
00:17:45,280 --> 00:17:48,580
printr-un circuit, cum ar fi
unul pe care îl construim aici.

344
00:17:48,580 --> 00:17:50,640
cel mai important
părțile sunt joncțiunile,

345
00:17:50,640 --> 00:17:54,193
unde biţii de informaţie
sunt combinate și transmise mai departe.

346
00:17:55,560 --> 00:17:58,500
Acestea se numesc porți logice booleene,

347
00:17:58,500 --> 00:17:59,510
și felul în care le comanzi

348
00:17:59,510 --> 00:18:02,600
determină exact ce
circuitul poate face.

349
00:18:02,600 --> 00:18:05,440
De la simpla completare la
calcule pe care nu le-am putea face niciodată

350
00:18:05,440 --> 00:18:06,740
în capul nostru,

351
00:18:06,740 --> 00:18:10,203
toate pot fi rezolvate
cu asa ceva.

352
00:18:11,100 --> 00:18:12,917
O să-i folosesc pe tipii ăștia,

353
00:18:12,917 --> 00:18:15,580
și niște porți logice foarte simple,

354
00:18:15,580 --> 00:18:19,070
și, nu și sau,

355
00:18:19,070 --> 00:18:21,700
și un circuit pe care îl avem
acolo, în holul școlii,

356
00:18:21,700 --> 00:18:23,570
și ce va face acest circuit

357
00:18:23,570 --> 00:18:28,490
este să adunăm două numere
pentru a veni cu un singur răspuns.

358
00:18:28,490 --> 00:18:32,300
Cine și-ar dori să fie un pic de computer?

359
00:18:32,300 --> 00:18:34,540
(copiii aplauda)

360
00:18:34,540 --> 00:18:37,340
Vino sus și voi da
ți-ai scos cămășile, bine?

361
00:18:37,340 --> 00:18:39,410
Acesta este numărul unu.

362
00:18:39,410 --> 00:18:42,419
Care este pentru Ismael.

363
00:18:42,419 --> 00:18:46,263
Ei nu doar se prefac,
vor fi un computer.

364
00:18:47,210 --> 00:18:49,970
Charlie T, mulțumesc foarte mult
mult pentru a fi o poarta.

365
00:18:49,970 --> 00:18:53,310
În mod normal, desigur, computere
lucru pe curenți electrici.

366
00:18:53,310 --> 00:18:55,880
Computerul nostru va fi alimentat de copii,

367
00:18:55,880 --> 00:18:57,898
care își vor transmite cele și zerourile

368
00:18:57,898 --> 00:19:01,300
fie etichetându-l pe următorul
copil la coadă pentru unul,

369
00:19:01,300 --> 00:19:03,163
sau nu le eticheta pentru zero.

370
00:19:05,140 --> 00:19:08,520
Este timpul să ia copiii
locurile lor în circuitul nostru.

371
00:19:08,520 --> 00:19:11,423
Și, pentru înregistrare, am
nu am încercat niciodată asta înainte!

372
00:19:12,650 --> 00:19:15,240
OK, unii dintre voi sunteți și porți.

373
00:19:15,240 --> 00:19:17,420
Îți amintești ce
an si poarta are de facut?

374
00:19:17,420 --> 00:19:20,530
Regula pentru și sunt ei
ia doar unul de transmis

375
00:19:20,530 --> 00:19:22,573
dacă sunt etichetate pe ambii umeri.

376
00:19:23,710 --> 00:19:25,950
Deci, unii dintre voi sunteți sau porți.

377
00:19:25,950 --> 00:19:28,240
sau transmiteți unul dacă sunt etichetați

378
00:19:28,240 --> 00:19:30,820
pe unul sau ambii umeri.

379
00:19:30,820 --> 00:19:32,420
Unii dintre voi nu sunteți porți.

380
00:19:32,420 --> 00:19:34,140
nu sunt diferite.

381
00:19:34,140 --> 00:19:37,810
Ei primesc unul să treacă
activat dacă nu sunt etichetate.

382
00:19:37,810 --> 00:19:39,990
Numerele, tu ești cel mai important lucru,

383
00:19:39,990 --> 00:19:42,510
pentru că întregul circuit este
despre procesarea numerelor.

384
00:19:42,510 --> 00:19:45,060
O să punem astea
patru biți în circuit,

385
00:19:45,060 --> 00:19:48,323
care s-a aranjat astfel,
reprezintă doi și trei.

386
00:19:49,323 --> 00:19:51,060
Pleacă!

387
00:19:51,060 --> 00:19:53,533
Bițurile de informații
au fost introduse.

388
00:19:54,390 --> 00:19:57,460
Sunt transmise de
primul set de copii.

389
00:19:57,460 --> 00:19:59,060
Dacă își respectă regulile,

390
00:19:59,060 --> 00:20:01,870
doar unii ar trebui să le poarte.

391
00:20:01,870 --> 00:20:02,893
În timp ce alții nu vor.

392
00:20:04,420 --> 00:20:07,413
La fiecare poartă, biții sunt
combinate și transmise mai departe.

393
00:20:08,420 --> 00:20:09,570
Aproape sunt acolo!

394
00:20:09,570 --> 00:20:12,903
În sfârșit, numerele de ieșire
sunt fie etichetate, fie nu.

395
00:20:13,960 --> 00:20:17,560
Aşa. Avem unul, zero și unu.

396
00:20:17,560 --> 00:20:20,570
Un patru și unul și asta face cinci.

397
00:20:20,570 --> 00:20:22,850
Și numerele pe care le-am adăugat la început

398
00:20:22,850 --> 00:20:25,170
au fost trei și doi.

399
00:20:25,170 --> 00:20:27,550
Deci, un trei și un twp
trecând prin acest circuit,

400
00:20:27,550 --> 00:20:29,540
doar cu voi toți
fac lucruri foarte simple,

401
00:20:29,540 --> 00:20:33,120
fiind și sau sau nu,
S-a ajuns la un cinci în acest final,

402
00:20:33,120 --> 00:20:36,173
asa ca ai calculat numarul corect!

403
00:20:41,601 --> 00:20:43,280
Astăzi, toate computerele noastre sunt construite

404
00:20:43,280 --> 00:20:45,390
folosind porțile logice ale lui Boole.

405
00:20:45,390 --> 00:20:47,030
Aici avem 13,

406
00:20:47,030 --> 00:20:49,130
dar un cip de computer modern ca acesta

407
00:20:49,130 --> 00:20:51,660
ar putea avea 250 de milioane.

408
00:20:51,660 --> 00:20:53,879
Toți fac exact
ce făceau tipii ăștia,

409
00:20:53,879 --> 00:20:55,663
dar mult mai repede.

410
00:20:57,560 --> 00:20:59,430
Tocmai am făcut o sumă simplă aici,

411
00:20:59,430 --> 00:21:02,240
dar Boole a anunțat o nouă eră pentru logică,

412
00:21:02,240 --> 00:21:04,130
în care raţionamentul despre orice

413
00:21:04,130 --> 00:21:06,693
se poate face în limbajul matematicii.

414
00:21:07,930 --> 00:21:10,320
- Există o mulțime de logici diferite

415
00:21:10,320 --> 00:21:12,750
pentru că sunt multe
diferite tipuri de sisteme

416
00:21:12,750 --> 00:21:15,243
sau lumi despre care vrem să raționăm.

417
00:21:16,150 --> 00:21:17,840
Am aplicat logica rațiunii

418
00:21:17,840 --> 00:21:22,060
despre o mare varietate de sisteme complexe.

419
00:21:22,060 --> 00:21:23,720
M-am uitat la comunicații

420
00:21:23,720 --> 00:21:25,800
pentru sistemele de control al traficului aerian,

421
00:21:25,800 --> 00:21:29,343
biologie moleculară, am și eu
s-a uitat la telefonia avansată.

422
00:21:31,090 --> 00:21:33,040
- [Naratorul] Dar, indiferent
a aplicației,

423
00:21:33,040 --> 00:21:35,213
toate logicile au un lucru în comun.

424
00:21:36,460 --> 00:21:39,480
- Printre toate aceste logici,
proprietatea unificatoare

425
00:21:39,480 --> 00:21:42,210
este vorba despre axiome și reguli

426
00:21:42,210 --> 00:21:44,770
deci raspunsul este lipsit de ambiguitate.

427
00:21:44,770 --> 00:21:47,640
Putem automatiza procedura

428
00:21:47,640 --> 00:21:50,460
de a calcula răspunsul în logică,

429
00:21:50,460 --> 00:21:52,413
dar mai trebuie să punem întrebarea.

430
00:21:56,110 --> 00:21:57,930
Luând exact acele întrebări

431
00:21:57,930 --> 00:22:00,680
și automatizarea modului
le răspundem logic

432
00:22:00,680 --> 00:22:03,650
necesită ceea ce se numește algoritm.

433
00:22:03,650 --> 00:22:06,460
Este provincia mea
rasa foarte proprie de tocilari,

434
00:22:06,460 --> 00:22:07,773
programatorul de calculator.

435
00:22:10,560 --> 00:22:13,100
Și nu mai există nicăieri
importantă pentru generația de astăzi

436
00:22:13,100 --> 00:22:16,100
a tinerilor în devenire
programatori decât asta,

437
00:22:16,100 --> 00:22:19,880
Internaționala anuală
olimpiada de informatică,

438
00:22:19,880 --> 00:22:21,903
a avut loc anul acesta la Brisbane, Australia.

439
00:22:23,040 --> 00:22:25,730
- Încercăm să găsim
cei mai buni și cei mai deștepți studenți

440
00:22:25,730 --> 00:22:28,010
când vine vorba de gândire computațională,

441
00:22:28,010 --> 00:22:29,743
algoritmi și programare.

442
00:22:31,140 --> 00:22:32,480
- [Narator] În fiecare zi de concurs,

443
00:22:32,480 --> 00:22:34,170
toată lumea are trei întrebări

444
00:22:34,170 --> 00:22:36,273
la care trebuie răspuns în cinci ore.

445
00:22:38,050 --> 00:22:41,620
- Cea mai ușoară, doar tu
avea o grămadă de uși încuiate

446
00:22:41,620 --> 00:22:43,830
și ai avut o grămadă de întrerupătoare,

447
00:22:43,830 --> 00:22:47,190
fiecare dintre comutatoare a fost
conectat la una dintre uși,

448
00:22:47,190 --> 00:22:49,010
dar nu știai care întrerupător

449
00:22:49,010 --> 00:22:50,730
a fost legat de care ușă.

450
00:22:50,730 --> 00:22:54,550
Și ceea ce cer ei este să
determina, pentru fiecare comutator,

451
00:22:54,550 --> 00:22:56,220
la ce ușă este conectat

452
00:22:56,220 --> 00:22:58,197
si care pozitie este cea corecta.

453
00:22:59,640 --> 00:23:02,060
- [Narator] Johnny Ho
este campionul de anul trecut,

454
00:23:02,060 --> 00:23:03,880
deci sunt multe de făcut,

455
00:23:03,880 --> 00:23:05,973
dar lucrurile nu prea merg în felul lui.

456
00:23:06,900 --> 00:23:08,680
- Până acum le-am rezolvat pe toate trei,

457
00:23:08,680 --> 00:23:11,080
dar de fapt nu am rezolvat
ei în timpul concursului

458
00:23:11,080 --> 00:23:14,050
pentru că există doar multă presiune.

459
00:23:14,050 --> 00:23:15,990
- Testăm capacitatea elevilor

460
00:23:15,990 --> 00:23:17,590
pentru a veni cu algoritmi inteligenți

461
00:23:17,590 --> 00:23:20,220
pentru a rezolva probleme algoritmice.

462
00:23:20,220 --> 00:23:22,850
Ei nu trebuie doar să vină
cu algoritmii,

463
00:23:22,850 --> 00:23:25,195
dar trebuie să scrie un program de calculator

464
00:23:25,195 --> 00:23:26,993
care rulează algoritmul.

465
00:23:29,880 --> 00:23:32,040
- [Narator] Algoritmi
transforma problemele din lumea reală

466
00:23:32,040 --> 00:23:35,240
în întrebări care
logica ne poate ajuta să răspundem.

467
00:23:35,240 --> 00:23:37,620
Dacă, de exemplu, acestea
băieții au vrut să cheltuiască

468
00:23:37,620 --> 00:23:40,420
competiția lor de zi liberă
îndatoririle care definesc grupul

469
00:23:40,420 --> 00:23:43,610
dintre toate animalele dintr-o grădină zoologică
care sunt marsupiale,

470
00:23:43,610 --> 00:23:46,657
primul pas al
algoritmul ar putea fi să întrebi,

471
00:23:46,657 --> 00:23:48,357
„Din toate animalele pe care le văd,

472
00:23:48,357 --> 00:23:51,347
„în care aș găsi
sălbăticia din Australia?"

473
00:23:52,980 --> 00:23:53,813
Nu.

474
00:23:54,730 --> 00:23:55,610
Nu.

475
00:23:55,610 --> 00:23:56,453
Nu.

476
00:23:57,440 --> 00:23:58,437
Da!

477
00:23:58,437 --> 00:23:59,270
Nu.

478
00:24:00,188 --> 00:24:01,127
nu stiu.

479
00:24:01,127 --> 00:24:02,880
Da.

480
00:24:02,880 --> 00:24:04,410
Da.

481
00:24:04,410 --> 00:24:05,690
Da.

482
00:24:05,690 --> 00:24:06,523
Cu siguranta nu.

483
00:24:07,380 --> 00:24:08,810
Da.

484
00:24:08,810 --> 00:24:10,450
Cu siguranță nu toate da

485
00:24:10,450 --> 00:24:12,560
și nu-știu vor fi marsupiale,

486
00:24:12,560 --> 00:24:14,360
astfel încât lista poate fi apoi rafinată

487
00:24:14,360 --> 00:24:17,300
întrebând care dintre acestea
animalele au pungi.

488
00:24:17,300 --> 00:24:19,160
Și aici există și opțiuni.

489
00:24:19,160 --> 00:24:21,180
S-ar putea uita într-o carte.

490
00:24:21,180 --> 00:24:23,403
L-ar putea întreba pe Chris, el este un expert.

491
00:24:24,300 --> 00:24:25,870
Sau ar putea să aducă întrebarea

492
00:24:25,870 --> 00:24:27,663
și alegeți cel mai popular răspuns.

493
00:24:28,740 --> 00:24:31,420
Fiecare algoritm logic
suportă un cost diferit,

494
00:24:31,420 --> 00:24:33,910
în efort, timp sau precizie,

495
00:24:33,910 --> 00:24:37,533
dar, oricum ar fi, fiecare
ajunge la un răspuns în cele din urmă.

496
00:24:42,049 --> 00:24:43,260
Și sunt anumite situații

497
00:24:43,260 --> 00:24:45,920
unde un algoritm logic bun
poate fi diferenta

498
00:24:45,920 --> 00:24:47,853
între viaţă şi moarte.

499
00:24:53,200 --> 00:24:55,390
Acesta este centrul de control NATS,

500
00:24:55,390 --> 00:24:57,013
în Swanwick, SE Angliei.

501
00:24:58,280 --> 00:25:01,560
La orice moment, în jur
100 de controlori de trafic aerian

502
00:25:01,560 --> 00:25:04,250
sunt responsabili pentru 200.000 de mile pătrate

503
00:25:04,250 --> 00:25:06,520
a spațiului aerian deasupra Regatului Unit.

504
00:25:06,520 --> 00:25:08,390
- Delta 11, raportează-ți punctul de intrare.

505
00:25:09,493 --> 00:25:12,270
- [Naratorul] Aterizare
două milioane de zboruri pe an,

506
00:25:12,270 --> 00:25:15,370
este poate surprinzător
că, până de curând,

507
00:25:15,370 --> 00:25:18,563
oamenii ăștia și-au făcut treaba
folosind doar puterea creierului.

508
00:25:20,410 --> 00:25:22,130
Dar asta se schimbă totul.

509
00:25:22,130 --> 00:25:24,660
Noi algoritmi automati
au început să preia

510
00:25:24,660 --> 00:25:26,410
o parte din această responsabilitate

511
00:25:26,410 --> 00:25:28,713
pentru ghidarea avioanelor pe cerul nostru.

512
00:25:30,400 --> 00:25:33,180
- Echipamentul acum este
vorbind cu aeronava,

513
00:25:33,180 --> 00:25:36,940
și așa pe când înaintea omului
reacționa cu omul,

514
00:25:36,940 --> 00:25:39,250
și, evident, există
uneori greșeli făcute,

515
00:25:39,250 --> 00:25:41,920
computerele pot acum
verificați din nou acea interacțiune

516
00:25:41,920 --> 00:25:43,720
și să furnizeze un avertisment controlorului

517
00:25:43,720 --> 00:25:45,610
dacă ceva este în neregulă.

518
00:25:45,610 --> 00:25:48,010
În egală măsură, în ceea ce privește
capacitatea, pentru că este redusă

519
00:25:48,010 --> 00:25:49,800
volumul de lucru pentru controlor,

520
00:25:49,800 --> 00:25:53,050
am văzut capacitatea aproximativă
Creștere de 40% pe unele sectoare,

521
00:25:53,050 --> 00:25:54,380
pentru că computerele merg

522
00:25:54,380 --> 00:25:56,360
unele dintre cele logice
calcule și gândire

523
00:25:56,360 --> 00:25:57,810
în numele ființei umane.

524
00:26:00,700 --> 00:26:04,760
- Cred că logica este cu adevărat
crucial ca instrument de raționament

525
00:26:04,760 --> 00:26:07,600
despre sistemele pe care le avem
folosit în lumea noastră modernă.

526
00:26:07,600 --> 00:26:09,660
Suntem înconjurați de aceste sisteme complexe

527
00:26:09,660 --> 00:26:11,550
cum ar fi controlul traficului aerian,

528
00:26:11,550 --> 00:26:14,793
semnalizare feroviară, rețeaua electrică.

529
00:26:21,446 --> 00:26:22,630
Cred că este cu adevărat important

530
00:26:22,630 --> 00:26:24,850
că creștem următoarea generație

531
00:26:24,850 --> 00:26:29,850
a utilizatorilor acestor sisteme deci
că ei știu că nu este magie,

532
00:26:29,910 --> 00:26:32,280
ei mai ştiu că ei
au instrumentele logicii

533
00:26:32,280 --> 00:26:34,930
să înțeleagă și să raționeze despre sisteme

534
00:26:34,930 --> 00:26:36,990
de care depind
crucial în fiecare zi

535
00:26:36,990 --> 00:26:37,943
a vieții lor.

536
00:26:42,370 --> 00:26:44,100
- [Narator] Înapoi la
Olimpiada Internațională

537
00:26:44,100 --> 00:26:47,400
de Informatică, este
a doua zi a concursului.

538
00:26:47,400 --> 00:26:49,610
Judecătorii caută
pentru ca programele să facă logica

539
00:26:49,610 --> 00:26:52,563
asta nu este tocmai corect,
trebuie sa fie rapizi.

540
00:26:54,080 --> 00:26:56,260
- Deci, dacă ai un algoritm
asta este corect din punct de vedere tehnic

541
00:26:56,260 --> 00:26:58,730
dar va dura 100 de milioane de ani pentru a rula,

542
00:26:58,730 --> 00:27:00,620
atunci nu ai înscrie niciun punct.

543
00:27:00,620 --> 00:27:03,240
Dacă ai un algoritm
care rezolvă aceeași problemă

544
00:27:03,240 --> 00:27:05,090
și rulează în, să zicem, cinci secunde,

545
00:27:05,090 --> 00:27:07,533
atunci poți obține puncte mult mai mari.

546
00:27:08,580 --> 00:27:10,710
- Cred că cu cât un argument este mai simplu,

547
00:27:10,710 --> 00:27:12,550
cu atât este mai frumos.

548
00:27:12,550 --> 00:27:16,620
Deci, dacă se poate exprima
în doar 10 cuvinte,

549
00:27:16,620 --> 00:27:19,363
argumentul acela ar fi destul de frumos.

550
00:27:20,886 --> 00:27:22,590
- [Cranic] The
competiția s-a încheiat.

551
00:27:22,590 --> 00:27:25,350
Vă mulțumesc foarte mult pentru răbdare.

552
00:27:27,620 --> 00:27:30,420
- [Naratorul] Este un anxios
asteptati clasamentul final.

553
00:27:33,070 --> 00:27:35,070
Cred că această competiție este,

554
00:27:35,070 --> 00:27:38,293
în toată gloria lui geek, un eveniment uimitor.

555
00:27:39,160 --> 00:27:41,920
Cu capacitatea de implementare
talentele lor de rezolvare a problemelor

556
00:27:41,920 --> 00:27:43,880
în limbajul de calcul,

557
00:27:43,880 --> 00:27:47,173
acești copii vor fi
viitorul tuturor lucrurilor logice.

558
00:27:48,140 --> 00:27:50,500
- [Cranic] The
câștigător pe primul loc al IOI

559
00:27:51,570 --> 00:27:54,669
este Lijie Chen din China.

560
00:27:54,669 --> 00:27:59,290
(publicul aplauda)
(publicul aplauda)

561
00:27:59,290 --> 00:28:02,193
- [Narator] În cele din urmă, este
unul chinezesc, doi, trei.

562
00:28:09,030 --> 00:28:10,920
Este norocos concurenții din Brisbane

563
00:28:10,920 --> 00:28:13,450
nu am avut problema asta de rezolvat.

564
00:28:13,450 --> 00:28:16,273
Este unul care nu este logic
algoritmul poate face față.

565
00:28:17,440 --> 00:28:19,030
Tot ce vreau să știu este, ce crezi?

566
00:28:19,030 --> 00:28:21,980
Este această propoziție adevărată sau falsă?

567
00:28:21,980 --> 00:28:23,017
Este adevărat sau fals?

568
00:28:23,017 --> 00:28:24,743
Puteți avea asta dacă este fals.

569
00:28:26,690 --> 00:28:30,670
Ideea este, dacă propoziţia
este fals, atunci este adevărat.

570
00:28:30,670 --> 00:28:34,110
Dar dacă este adevărat, atunci trebuie să fie fals.

571
00:28:34,110 --> 00:28:36,370
Este un paradox.

572
00:28:36,370 --> 00:28:37,470
Dar dacă este fals, este adevărat.

573
00:28:37,470 --> 00:28:40,890
Semnul meu este inspirat de
primul paradox logic cunoscut,

574
00:28:40,890 --> 00:28:45,680
din jurul anului 600 î.Hr., prin
Epimenide cretană din Knossos.

575
00:28:45,680 --> 00:28:49,540
Ei bine, dacă citești propoziția
că această propoziție este falsă,

576
00:28:49,540 --> 00:28:53,410
ca adevăratul său sens,
atunci, da, este fals.

577
00:28:53,410 --> 00:28:56,140
Epimenide a scris: „Toți cretanii sunt mincinoși”.

578
00:28:56,140 --> 00:28:58,810
dar era cretan, deci mințea?

579
00:28:58,810 --> 00:29:01,370
Dacă da, atunci nu toți cretanii sunt mincinoși,

580
00:29:01,370 --> 00:29:03,620
caz în care, ar face-o
să spună adevărul.

581
00:29:06,698 --> 00:29:09,980
- Este un paradox.
- Un paradox! Bine făcut!

582
00:29:09,980 --> 00:29:12,290
Paradoxurile sunt contradicții fundamentale

583
00:29:12,290 --> 00:29:15,190
pe care o au logicienii
nedumerit de secole.

584
00:29:15,190 --> 00:29:16,830
Au fost descriși ca

585
00:29:16,830 --> 00:29:20,050
adevărul sta pe ea
cap pentru a atrage atenția,

586
00:29:20,050 --> 00:29:21,253
și din motive întemeiate.

587
00:29:23,090 --> 00:29:24,690
La sfârșitul secolului al XIX-lea,

588
00:29:24,690 --> 00:29:27,290
cam în același timp în care
George Boole se dezvolta

589
00:29:27,290 --> 00:29:30,080
deducție logică ca a
ramură a matematicii,

590
00:29:30,080 --> 00:29:32,610
paradoxuri exact așa

591
00:29:32,610 --> 00:29:35,040
a devenit o problemă cu adevărat mortală.

592
00:29:35,040 --> 00:29:36,190
De fapt, au ajuns să amenințe

593
00:29:36,190 --> 00:29:38,533
chiar fundamentul matematicii în sine.

594
00:29:50,400 --> 00:29:54,300
Capitala Austriei, Viena,
renumit pentru muzica sa,

595
00:29:54,300 --> 00:29:58,723
eleganță, cafenele legendare
și prăjituri rafinate.

596
00:30:00,110 --> 00:30:02,200
Dar, la începutul secolului al XX-lea,

597
00:30:02,200 --> 00:30:06,743
era şi locul unde să fie dacă
te-a interesat logica.

598
00:30:08,920 --> 00:30:11,300
În ciuda grației și gentileței sale,

599
00:30:11,300 --> 00:30:13,620
Viena poate face pretenții întemeiate,

600
00:30:13,620 --> 00:30:15,660
poate mai mult decât orice alt oraș,

601
00:30:15,660 --> 00:30:17,760
pentru a fi locul de naștere al modernului.

602
00:30:17,760 --> 00:30:21,028
Pentru că a fost aici în artă,
design, filozofie,

603
00:30:21,028 --> 00:30:24,550
știință și psihologie, că
oameni cel mai îndrăzneț provocați

604
00:30:24,550 --> 00:30:28,313
convenţiile obosite şi
ipoteze ale secolului al XIX-lea.

605
00:30:31,540 --> 00:30:33,100
Dar ce era modern?

606
00:30:33,100 --> 00:30:35,440
Era vorba de înlocuire
religie si traditie

607
00:30:35,440 --> 00:30:38,670
cu empirism logic și rațiune pură?

608
00:30:38,670 --> 00:30:41,327
Sau era vorba de admitere
la o nouă incertitudine,

609
00:30:41,327 --> 00:30:43,300
limitele percepțiilor noastre

610
00:30:43,300 --> 00:30:46,173
iar vidul moral al
subconștientul freudian?

611
00:30:47,930 --> 00:30:49,780
Până în acest punct, s-ar putea argumenta

612
00:30:49,780 --> 00:30:53,570
acea logica nu era tocmai
un subiect în mintea tuturor

613
00:30:53,570 --> 00:30:57,823
dar, aici, a fost la
fruntea acestei ciocniri titanice.

614
00:30:59,470 --> 00:31:01,140
De la cafenelele orașului

615
00:31:01,140 --> 00:31:03,410
chiar la Universitatea din Viena,

616
00:31:03,410 --> 00:31:05,763
s-a desfăşurat lupta pentru modernitate.

617
00:31:07,520 --> 00:31:11,070
În 1894 universitatea a pus în funcţiune
o pictură grozavă de tavan

618
00:31:11,070 --> 00:31:12,800
pentru sala lor de ceremonii.

619
00:31:12,800 --> 00:31:15,770
Tema a fost „Victoria
De lumină peste întuneric",

620
00:31:15,770 --> 00:31:17,350
și avea panouri separate

621
00:31:17,350 --> 00:31:18,815
sărbătorind marile realizări

622
00:31:18,815 --> 00:31:21,940
ale universității
facultati de jurisprudenta,

623
00:31:21,940 --> 00:31:23,993
de medicină și de filozofie.

624
00:31:24,970 --> 00:31:27,590
Având în vedere subiectul,
a fost poate nefericit

625
00:31:27,590 --> 00:31:29,839
că artistul ei
comandat pentru aceste tablouri

626
00:31:29,839 --> 00:31:31,593
a fost Gustav Klimt.

627
00:31:36,080 --> 00:31:39,360
În 1900, a prezentat
ei cu filozofie,

628
00:31:39,360 --> 00:31:41,280
o reprezentare a bărbaților și femeilor goi

629
00:31:41,280 --> 00:31:44,370
plutind ca transă în golurile goale.

630
00:31:44,370 --> 00:31:48,493
Exprima orice, dar
victorie, certitudine sau optimism.

631
00:31:50,410 --> 00:31:53,510
proto-modernistul lui Klimt
viziunea filozofiei

632
00:31:53,510 --> 00:31:55,500
a fost șocant pentru locuitorii Vienei,

633
00:31:55,500 --> 00:31:58,703
și profund neliniştitor pentru
profesori la universitate.

634
00:32:01,060 --> 00:32:04,200
El ataca
tot ce reprezentau,

635
00:32:04,200 --> 00:32:06,733
și picturile lui Klimt
au fost respinse categoric.

636
00:32:11,380 --> 00:32:13,380
Ascuns timp de 40 de ani,

637
00:32:13,380 --> 00:32:16,540
lucrările originale au fost
distrus de naziști.

638
00:32:16,540 --> 00:32:18,440
Aceste replici au fost instalate în cele din urmă

639
00:32:18,440 --> 00:32:20,303
la centenarul respingerii lor.

640
00:32:23,360 --> 00:32:25,450
Vederea întunecată a lui Klimt îl jignise grav

641
00:32:25,450 --> 00:32:27,690
aspirația academică în creștere,

642
00:32:27,690 --> 00:32:30,160
că ştiinţa şi
matematica ne-ar oferi

643
00:32:30,160 --> 00:32:31,710
cu cunoștințe complete,

644
00:32:31,710 --> 00:32:34,913
întemeiat pe adevărul absolut, demonstrabil.

645
00:32:35,960 --> 00:32:39,683
Acesta a fost ceva
sperat că logica ar putea oferi.

646
00:32:41,120 --> 00:32:44,030
La matematică, asta
problema adevărului definitiv,

647
00:32:44,030 --> 00:32:47,640
de certitudine, a avut recent
devin prea reale.

648
00:32:47,640 --> 00:32:50,923
Nimeni nu a dovedit încă cel mai mult
regulile de bază ale matematicii.

649
00:32:52,022 --> 00:32:56,060
Aceste reguli ar putea spune asta
unu plus doi este egal cu trei.

650
00:32:56,060 --> 00:32:57,980
Dar, fără dovezi, că
nu vor conduce niciodată

651
00:32:57,980 --> 00:33:00,940
la o contradicție, tu
nu pot spune niciodată sigur

652
00:33:00,940 --> 00:33:04,300
că unul plus doi ar putea să nu fie egal cu 20.

653
00:33:04,300 --> 00:33:05,950
Sau orice altceva pentru asta.

654
00:33:07,690 --> 00:33:11,193
În strânsoarea incertitudinii,
o febră logică a pus stăpânire.

655
00:33:13,250 --> 00:33:15,080
Logica lui Boole fusese deja adoptată

656
00:33:15,080 --> 00:33:17,340
de cei mai mari logicieni ai zilei,

657
00:33:17,340 --> 00:33:18,540
dar a fost o problemă.

658
00:33:19,500 --> 00:33:23,053
Metoda lui a fost pur și simplu insuficientă
pentru a descrie toate matematica.

659
00:33:24,320 --> 00:33:28,383
Cursa era în curs pentru un nou,
si mai complexa, logica.

660
00:33:31,020 --> 00:33:32,350
Cu peste 20 de ani în urmă,

661
00:33:32,350 --> 00:33:34,910
un matematician german
numit Gottlob Frege

662
00:33:34,910 --> 00:33:37,090
a studiat exact această problemă.

663
00:33:37,090 --> 00:33:39,640
Munca lui Frege a asigurat asta
logica a fost la măsura acestei căutări

664
00:33:39,640 --> 00:33:43,023
pentru certitudine care a fost
care se desfășoară chiar aici.

665
00:33:44,266 --> 00:33:47,766
♪ Dacă l-aș avea în puterea mea ♪

666
00:33:49,780 --> 00:33:51,400
- [Narator] A fost în Jena, Germania

667
00:33:51,400 --> 00:33:54,330
la sfârşitul secolului al XIX-lea
acel Gottlob Frege

668
00:33:54,330 --> 00:33:56,873
a deschis un nou capitol
în povestea logicii.

669
00:33:57,930 --> 00:34:01,800
Pentru el nu ar trebui să existe nimic,
fie numere sau idei,

670
00:34:01,800 --> 00:34:04,210
care nu au putut fi descrise și analizate

671
00:34:04,210 --> 00:34:06,683
folosind noii lui cuantificatori logici.

672
00:34:07,926 --> 00:34:11,030
♪ Toată lumea iubește pe cineva cândva ♪

673
00:34:11,030 --> 00:34:13,210
- [Naratorul] Deci, cu a lui
noua logica matematica,

674
00:34:13,210 --> 00:34:16,723
putea exprima idei
ca, toată lumea îl iubește pe Frege,

675
00:34:17,890 --> 00:34:20,610
toată lumea iubește pe cineva,

676
00:34:20,610 --> 00:34:24,040
există cineva pe care toată lumea îl iubește,

677
00:34:24,040 --> 00:34:26,563
există cineva pe care nimeni nu-l iubește,

678
00:34:28,310 --> 00:34:32,363
și, vai, există cineva
pe care Frege nu-l iubeşte.

679
00:34:33,606 --> 00:34:37,120
♪ Dacă l-aș avea în puterea mea ♪

680
00:34:37,120 --> 00:34:39,520
- Acel cineva pe care Frege
probabil nu a iubit

681
00:34:39,520 --> 00:34:42,040
a fost filozoful britanic Bertrand Russell,

682
00:34:42,040 --> 00:34:46,150
care în mod independent a fost logodit
exact in acelasi proiect,

683
00:34:46,150 --> 00:34:49,063
folosind logica pentru a întări
fundamente ale matematicii.

684
00:34:50,390 --> 00:34:53,590
În 1902, Frege era drept
zile de la publicare

685
00:34:53,590 --> 00:34:57,030
al doilea volum al
opera lui magistrală despre logică

686
00:34:57,030 --> 00:34:59,248
când a primit o scrisoare de la Russell,

687
00:34:59,248 --> 00:35:03,093
și era genul de scrisoare
oricărui logician se teme să primească.

688
00:35:05,870 --> 00:35:08,510
Russell observase o mare problemă.

689
00:35:08,510 --> 00:35:09,760
Logica ambilor bărbați se baza

690
00:35:09,760 --> 00:35:13,510
pe descrierea consecventă a unor seturi de lucruri.

691
00:35:13,510 --> 00:35:15,930
Puteți avea setul tuturor numerelor pare.

692
00:35:15,930 --> 00:35:18,403
Sau, pentru asta, setul tuturor mamelor,

693
00:35:19,240 --> 00:35:20,893
sau setul tuturor câinilor.

694
00:35:22,090 --> 00:35:25,200
Aproape toate seturile nu sunt
membri ai lor.

695
00:35:25,200 --> 00:35:28,163
Setul de câini nu este în sine un câine.

696
00:35:29,160 --> 00:35:30,870
Deci, dacă iei setul de câine

697
00:35:30,870 --> 00:35:34,040
și strângeți-l împreună cu
tuturor celorlalte le place,

698
00:35:34,040 --> 00:35:36,950
obțineți setul care conține toate seturile

699
00:35:36,950 --> 00:35:39,330
care nu sunt membri ai lor.

700
00:35:39,330 --> 00:35:41,710
Dar acesta este setul de toate seturile

701
00:35:41,710 --> 00:35:43,530
care nu se conțin,

702
00:35:43,530 --> 00:35:45,490
și nu se conține pe sine.

703
00:35:45,490 --> 00:35:48,514
Deci acest set ar trebui să se includă pe sine.

704
00:35:48,514 --> 00:35:51,550
Dar atunci, dacă se întâmplă,
atunci asta nu mai este

705
00:35:51,550 --> 00:35:54,240
ansamblul tuturor setiilor care
nu se conțin.

706
00:35:54,240 --> 00:35:56,973
Deci, nu poate face parte din sine.

707
00:35:59,920 --> 00:36:02,053
Este unul dintre acele paradoxuri logice.

708
00:36:03,530 --> 00:36:05,980
Frege i-a scris imediat lui Russell.

709
00:36:05,980 --> 00:36:08,680
Stimate coleg, dvs
descoperirea contradictiei

710
00:36:08,680 --> 00:36:10,680
m-a surprins dincolo de cuvinte

711
00:36:10,680 --> 00:36:12,490
și, aproape aș vrea să spun,

712
00:36:12,490 --> 00:36:15,480
m-a lăsat uluit, pentru că
a legănat pământul

713
00:36:15,480 --> 00:36:17,713
pe care am vrut să construiesc aritmetica.

714
00:36:18,560 --> 00:36:21,690
Descoperirea ta este, oricum
rata, una foarte remarcabilă,

715
00:36:21,690 --> 00:36:24,720
și poate duce la
un mare progres în logică,

716
00:36:24,720 --> 00:36:27,493
oricât de nedorit ar părea la prima vedere.

717
00:36:29,750 --> 00:36:31,570
Russell a preluat acum proiectul lui Frege

718
00:36:31,570 --> 00:36:33,730
cu un zel și mai mare,

719
00:36:33,730 --> 00:36:37,070
pentru a dezvolta o și mai mult
logica scandalos de complexa

720
00:36:37,070 --> 00:36:39,370
care ar fi rotunjit
problema asta cu seturile,

721
00:36:39,370 --> 00:36:41,513
și astfel fii liber de paradox.

722
00:36:42,480 --> 00:36:44,720
După nouă ani de trudă,

723
00:36:44,720 --> 00:36:48,770
monumentala Principia
Mathematica a fost publicată.

724
00:36:48,770 --> 00:36:53,320
A fost nevoie de peste 360 de pagini pentru a demonstra logic

725
00:36:53,320 --> 00:36:56,133
că unul plus unu este egal cu doi.

726
00:36:57,800 --> 00:36:59,753
Nu a fost niciodată un best-seller,

727
00:36:59,753 --> 00:37:02,483
dar, aici, a avut un impact uriaș.

728
00:37:03,990 --> 00:37:06,830
A fost magnific, a
încărcătură grozavă de găleată

729
00:37:06,830 --> 00:37:07,980
de concret logic

730
00:37:07,980 --> 00:37:11,370
turnat chiar în
fundamente ale matematicii.

731
00:37:11,370 --> 00:37:14,523
Cu siguranță un triumf, nu
o traumă, pentru filozofie.

732
00:37:21,870 --> 00:37:23,610
Dar ultimul cuvânt despre logică

733
00:37:23,610 --> 00:37:25,973
nu ar veni de la Bertrand Russell.

734
00:37:30,770 --> 00:37:34,800
Aici a fost acel proiect
a ajuns la o concluzie dramatică,

735
00:37:34,800 --> 00:37:37,650
centrat pe un grup de gânditori
numit Cercul de la Viena.

736
00:37:41,410 --> 00:37:43,930
Erau ferm pro-logici.

737
00:37:43,930 --> 00:37:46,780
Pentru ei, Principia Mathematica a lui Russell

738
00:37:46,780 --> 00:37:48,483
era mana din cer.

739
00:37:49,970 --> 00:37:51,957
Cercul de la Viena avea
oameni care i-au inspirat,

740
00:37:51,957 --> 00:37:53,830
erau idolii lor.

741
00:37:53,830 --> 00:37:58,120
Unul a fost Albert Einstein,
unul era Bertrand Russell.

742
00:37:58,120 --> 00:38:03,023
Și acestea au fost cele mai multe
oameni de știință de seamă ai zilei.

743
00:38:14,130 --> 00:38:18,500
Interesul lor s-a mutat
aproape imperceptibil la început

744
00:38:18,500 --> 00:38:21,900
de la bazele fizicii

745
00:38:21,900 --> 00:38:25,810
până la temeliile
matematică și la logică.

746
00:38:25,810 --> 00:38:28,400
A venit aproape împotriva voinței lor

747
00:38:28,400 --> 00:38:33,180
că acesta a devenit subiectul cel mai proeminent

748
00:38:33,180 --> 00:38:34,393
a Cercului de la Viena.

749
00:38:37,180 --> 00:38:41,260
O dată la două săptămâni se întâlneau aici,

750
00:38:41,260 --> 00:38:42,293
în această cameră reală.

751
00:38:47,560 --> 00:38:49,340
Acum este un laborator de fizică funcțional

752
00:38:50,400 --> 00:38:53,200
dar, când s-au întâlnit aici, au avut un singur scop

753
00:38:53,200 --> 00:38:54,980
și asta a fost pentru a epura filozofia

754
00:38:54,980 --> 00:38:57,730
de orice a fost
nici direct observabile

755
00:38:57,730 --> 00:38:59,750
prin experiment științific,

756
00:38:59,750 --> 00:39:02,173
sau derivabil prin legile logicii.

757
00:39:03,850 --> 00:39:07,610
Această analiză logică a sensului

758
00:39:07,610 --> 00:39:10,180
a fost un prim pas esenţial.

759
00:39:10,180 --> 00:39:13,480
Prin urmare, era interzis să se vorbească despre

760
00:39:13,480 --> 00:39:16,933
asemenea concepte precum Dumnezeu, de exemplu,

761
00:39:16,933 --> 00:39:19,920
sau enunţuri metafizice

762
00:39:19,920 --> 00:39:23,360
despre gândirea în sine sau orice altceva,

763
00:39:23,360 --> 00:39:27,080
pentru că nu ai putut găsi niciodată o propoziție

764
00:39:27,080 --> 00:39:30,520
care ar putea fi verificat
într-un mod științific.

765
00:39:30,520 --> 00:39:33,180
- De fapt, Viena
Circle detesta ideea

766
00:39:33,180 --> 00:39:36,870
a metafizicii atât de mult
că atunci când s-au întâlnit aici,

767
00:39:36,870 --> 00:39:39,690
Rudolf Carnap, fost elev al lui Frege,

768
00:39:39,690 --> 00:39:42,700
a desemnat pe cineva să strige M!
- M!

769
00:39:42,700 --> 00:39:44,280
- În timpul discuțiilor lor,

770
00:39:44,280 --> 00:39:47,700
la indiciu de orice sentinţă nelegitimă.

771
00:39:47,700 --> 00:39:49,250
M înseamnă metafizică.

772
00:39:49,250 --> 00:39:50,083
- M!

773
00:39:51,170 --> 00:39:54,610
- Este echivalentul logicianului
de a spune: "Bolocks!"

774
00:39:54,610 --> 00:39:57,570
Acum treaba este că el
spunea "M!" atât de mult

775
00:39:58,490 --> 00:40:00,710
că s-au săturat de asta.

776
00:40:00,710 --> 00:40:03,200
În schimb, l-au pus să strige „Non-M”

777
00:40:03,200 --> 00:40:05,140
oricând că cineva
chiar a spus ceva

778
00:40:05,140 --> 00:40:06,210
asta era legitim.

779
00:40:06,210 --> 00:40:07,443
- Nicht M!

780
00:40:10,130 --> 00:40:13,130
- În ciuda purității de
metodele lor logice,

781
00:40:13,130 --> 00:40:16,160
problema incertitudinii
care a afectat logica,

782
00:40:16,160 --> 00:40:18,713
la fel a urmărit Cercul de la Viena.

783
00:40:19,930 --> 00:40:23,460
- Ceva care s-ar putea să fi imprimat și el

784
00:40:23,460 --> 00:40:27,420
această tânără generație
a oamenilor de știință austrieci

785
00:40:27,420 --> 00:40:30,400
a fost un scandal care a avut loc în 1913

786
00:40:30,400 --> 00:40:33,520
când a fost descoperit
că capul, practic,

787
00:40:33,520 --> 00:40:38,000
al Contraspionajului
Serviciul a fost un spion.

788
00:40:38,000 --> 00:40:43,000
Și, vezi tu, sarcina
a unui serviciu de contra-spionaj

789
00:40:43,340 --> 00:40:47,730
este de fapt să ne asigurăm că
nu sunt spioni în jur.

790
00:40:47,730 --> 00:40:50,980
Dar ce se întâmplă când
șeful acelei organizații

791
00:40:50,980 --> 00:40:52,440
este el însuși spion?

792
00:40:52,440 --> 00:40:54,920
Aceasta este o incertitudine fundamentală.

793
00:40:54,920 --> 00:40:58,290
Da, da, secretul
serviciul poate funcționa foarte bine,

794
00:40:58,290 --> 00:41:02,460
dar poți fi sigur că
serviciul secret nu este infectat?

795
00:41:02,460 --> 00:41:06,696
Și ceva asemănător este
care se întâmplă în matematică.

796
00:41:06,696 --> 00:41:11,040
Asigurați-vă că acolo
nu exista contradictii,

797
00:41:11,040 --> 00:41:15,000
ridici ziduri mari
împotriva incertitudinii sau cam asa ceva,

798
00:41:15,000 --> 00:41:17,700
dar poate, între aceste ziduri mari,

799
00:41:17,700 --> 00:41:20,353
există o ședință de contradicție.

800
00:41:23,000 --> 00:41:27,023
- Contradicția l-a deranjat
om mai mult decât majoritatea, Kurt Godel.

801
00:41:29,710 --> 00:41:32,350
Kurt Godel a fost cel mai retras membru

802
00:41:32,350 --> 00:41:34,220
a Cercului de la Viena.

803
00:41:34,220 --> 00:41:37,393
Avusese cea mai bună logică
antrenament pe care ți-l poți imagina.

804
00:41:41,030 --> 00:41:43,510
Era într-una din Viena
cafenele renumite,

805
00:41:43,510 --> 00:41:44,973
în august 1930,

806
00:41:44,973 --> 00:41:48,610
acel Godel de 24 de ani
a dezvăluit mai întâi o descoperire

807
00:41:48,610 --> 00:41:52,120
asta s-ar termina, pentru
vreodată, căutarea logică

808
00:41:52,120 --> 00:41:55,583
că Frege, Russell și cei
cum s-au stabilit.

809
00:41:57,648 --> 00:42:00,860
Godel a fost unul dintre puținii
care cu siguranță citise

810
00:42:00,860 --> 00:42:02,210
toate Principia lui Russell.

811
00:42:03,390 --> 00:42:05,820
El știa asta, pentru orice sistem logic

812
00:42:05,820 --> 00:42:07,980
să fie fundamentul matematicii,

813
00:42:07,980 --> 00:42:10,863
trebuia să fie complet și consecvent.

814
00:42:12,410 --> 00:42:15,660
Godel i-a spus lui Carnap că,
studiind Principia,

815
00:42:15,660 --> 00:42:19,620
ajunsese la concluzie
că, în orice sistem logic,

816
00:42:19,620 --> 00:42:22,710
ori ai putea fi
consistent sau complet,

817
00:42:22,710 --> 00:42:24,933
dar nu puteai avea
ambele in acelasi timp.

818
00:42:25,827 --> 00:42:27,690
În capodopera lui Russell,

819
00:42:27,690 --> 00:42:29,940
Godel descoperise o contradicție

820
00:42:29,940 --> 00:42:32,693
care a devenit cunoscut sub numele de incompletitudine.

821
00:42:33,700 --> 00:42:36,600
Aceasta înseamnă că, în logica matematică,

822
00:42:36,600 --> 00:42:39,413
vor fi unele
adevăruri care, deși adevărate,

823
00:42:39,413 --> 00:42:41,393
nu poate fi niciodată dovedit că este așa.

824
00:42:42,790 --> 00:42:44,740
- Acest rezultat al lui Kurt Godel

825
00:42:44,740 --> 00:42:49,740
despre limitările
matematica si logica

826
00:42:49,810 --> 00:42:54,450
a fost o lovitură teribilă pentru
optimismul Cercului de la Viena,

827
00:42:54,450 --> 00:42:57,480
iar unii dintre membri au luat mult timp

828
00:42:57,480 --> 00:42:59,493
pentru a face față cu ea.

829
00:43:00,960 --> 00:43:05,280
- Marea căutare pentru
adevăr absolut, demonstrabil

830
00:43:05,280 --> 00:43:06,473
a lovit tampoanele.

831
00:43:10,560 --> 00:43:13,563
Pe la mijlocul anilor 1930,
Cercul de la Viena sa terminat.

832
00:43:15,020 --> 00:43:17,670
Ascensiunea fascismului si
amenințarea amenințată de război

833
00:43:17,670 --> 00:43:19,480
însemna că membrii săi au fugit,

834
00:43:19,480 --> 00:43:21,623
au fost expulzați sau uciși.

835
00:43:22,510 --> 00:43:25,100
Kurt Godel a părăsit Viena la Princeton,

836
00:43:25,100 --> 00:43:27,270
unde propria sa căutare a certitudinii

837
00:43:27,270 --> 00:43:29,293
a ajuns, de asemenea, la un final tragic.

838
00:43:32,910 --> 00:43:36,520
Godel s-a convins că
cineva ar putea încerca să-l otrăvească.

839
00:43:36,520 --> 00:43:38,470
Singura persoană care
ar avea încredere să gătească

840
00:43:38,470 --> 00:43:41,563
și, într-adevăr, după gust
mâncarea lui era soția lui.

841
00:43:42,510 --> 00:43:46,783
Și când s-a îmbolnăvit și
a fost internat, a murit de foame.

842
00:43:47,960 --> 00:43:50,403
El sa gândit literalmente până la moarte.

843
00:43:57,680 --> 00:44:00,380
Faptul că toate sistemele
a logicii matematice

844
00:44:00,380 --> 00:44:04,610
eram limitate, că am putea
nu ai niciodată certitudinea completă,

845
00:44:04,610 --> 00:44:07,503
a semnalat sfârșitul unei ere pentru logică.

846
00:44:09,350 --> 00:44:12,660
Dar pentru un logician britanic, Alan Turing,

847
00:44:12,660 --> 00:44:16,460
Lucrarea lui Godel a fost
inspirația pe care avea nevoie să o lanseze,

848
00:44:16,460 --> 00:44:18,980
din neatenție, un nou

849
00:44:18,980 --> 00:44:22,083
și cu totul mai mult
revoluția logicii practice.

850
00:44:26,540 --> 00:44:29,280
Alan Turing avea doar 23 de ani

851
00:44:29,280 --> 00:44:32,360
când îşi imagina ceva extraordinar.

852
00:44:32,360 --> 00:44:35,023
El a numit-o o mașină universală.

853
00:44:36,320 --> 00:44:39,750
Mașina universală este
un complet imaginar,

854
00:44:39,750 --> 00:44:42,260
dispozitiv ipotetic și totuși,

855
00:44:42,260 --> 00:44:45,260
este una dintre cele mai multe
mașini influente vreodată

856
00:44:45,260 --> 00:44:46,193
în istoria omenirii.

857
00:44:48,260 --> 00:44:50,500
Dispozitivul pe care Turing și-a imaginat-o putea aborda

858
00:44:50,500 --> 00:44:53,910
orice problemă de matematică
folosind un algoritm logic

859
00:44:53,910 --> 00:44:56,513
codificat în propria sa memorie nelimitată.

860
00:44:57,630 --> 00:45:01,200
În 1936, Alan Turing a publicat o lucrare

861
00:45:01,200 --> 00:45:02,530
în care a demonstrat,

862
00:45:02,530 --> 00:45:06,470
a dovedit că tu
nu am putut decide dinainte

863
00:45:06,470 --> 00:45:07,640
care probleme matematice

864
00:45:07,640 --> 00:45:09,550
mașina ar fi capabilă să rezolve,

865
00:45:09,550 --> 00:45:10,890
și care ar face doar să ruleze

866
00:45:10,890 --> 00:45:12,403
mai departe și mai departe pentru totdeauna.

867
00:45:13,600 --> 00:45:16,900
Că sunt niște probleme
care sunt pur și simplu necalculabile

868
00:45:16,900 --> 00:45:21,150
a fost surprinzător și totuși
încă o lovitură pentru matematică.

869
00:45:21,150 --> 00:45:22,550
Dar a fost și începutul

870
00:45:22,550 --> 00:45:24,950
a ceva cu totul neașteptat

871
00:45:24,950 --> 00:45:28,623
și destinat să cimenteze logica
rol în lumea modernă.

872
00:45:30,730 --> 00:45:34,286
Este extraordinar,
aproape rafinat, paradox

873
00:45:34,286 --> 00:45:38,200
că, demonstrând că
unele lucruri nu pot fi dovedite

874
00:45:38,200 --> 00:45:41,540
folosind o mașină logică,
ceea ce a făcut Alan Turing

875
00:45:41,540 --> 00:45:45,023
lansat aproape de unul singur
o revoluție tehnologică.

876
00:45:46,050 --> 00:45:48,060
Mașina universală a lui Turing

877
00:45:48,060 --> 00:45:51,383
este ceea ce noi astăzi numim computer.

878
00:45:53,330 --> 00:45:55,430
În timp ce staționați aici, la Bletchley Park,

879
00:45:55,430 --> 00:45:57,020
în timpul celui de-al doilea război mondial,

880
00:45:57,020 --> 00:45:59,770
Turing a început să pună în aplicare
ideile lui abstracte

881
00:45:59,770 --> 00:46:02,543
ca hardware logic real.

882
00:46:03,760 --> 00:46:05,550
Lucrând cu Gordon Welchman,

883
00:46:05,550 --> 00:46:09,613
Alan Turing a dezvoltat asta
mașină, se numește Bombe.

884
00:46:11,430 --> 00:46:13,250
E cam tare!

885
00:46:13,250 --> 00:46:16,205
Este o formă de computer electromecanic,

886
00:46:16,205 --> 00:46:20,200
și funcția sa logică
era să decodific mesajele

887
00:46:20,200 --> 00:46:22,140
pe care nemții le trimiteau,

888
00:46:22,140 --> 00:46:24,753
folosind mașinile lor de criptare Enigma.

889
00:46:28,350 --> 00:46:30,140
Dar apoi colegul lui Turing,

890
00:46:30,140 --> 00:46:32,863
Tommy Flowers, a făcut un pas mai departe.

891
00:46:38,730 --> 00:46:41,230
Acesta este Colossus.

892
00:46:41,230 --> 00:46:43,747
A fost construit pentru a sparge altul
Mașină germană de criptare

893
00:46:43,747 --> 00:46:45,530
numit Lorenz,

894
00:46:45,530 --> 00:46:48,350
și, pentru bărbați și femei
cine l-a construit și exploatat,

895
00:46:48,350 --> 00:46:49,870
a fost o realizare uluitoare.

896
00:46:49,870 --> 00:46:51,083
A scurtat războiul.

897
00:46:52,950 --> 00:46:55,080
Dar cred că este special
din alt motiv.

898
00:46:55,080 --> 00:46:57,890
Vedeți, acesta este primul din lume

899
00:46:57,890 --> 00:47:00,363
calculator electronic programabil.

900
00:47:01,310 --> 00:47:03,620
A folosit informații digitale, binare,

901
00:47:03,620 --> 00:47:05,070
fluxurile de unu și zero

902
00:47:05,070 --> 00:47:07,010
care sunt în toate computerele moderne.

903
00:47:07,010 --> 00:47:09,110
Și aceste tuburi cu vid aici jos,

904
00:47:09,110 --> 00:47:12,030
sunt conectate împreună la
fie porțile noastre logice booleene,

905
00:47:12,030 --> 00:47:15,753
care efectuează boolean
operatii si calcule.

906
00:47:17,940 --> 00:47:21,030
Colossus s-ar putea să nu ne pară high tech,

907
00:47:21,030 --> 00:47:24,107
dar e greu de exprimat
cat de important a fost.

908
00:47:26,995 --> 00:47:29,200
Această semnificație a tuturor acestor lucruri,

909
00:47:29,200 --> 00:47:30,950
ca o piesă de inginerie umană,

910
00:47:30,950 --> 00:47:33,020
este la egalitate cu piramidele,

911
00:47:33,020 --> 00:47:35,770
sau presa de tipar sau puterea aburului,

912
00:47:35,770 --> 00:47:37,293
și totuși totul era extrem de secret.

913
00:47:38,273 --> 00:47:41,350
Toate aceste evoluții ale
calculatoare electronice programabile

914
00:47:41,350 --> 00:47:43,921
aici la Bletchley Park au fost clasificate

915
00:47:43,921 --> 00:47:47,933
iar detaliile erau doar
declasificată la sfârșitul anilor 1970.

916
00:47:51,590 --> 00:47:54,180
După război, Turing
a continuat să ajute la construirea

917
00:47:54,180 --> 00:47:58,095
unele dintre primele din lume
calculatoare cu programe stocate.

918
00:47:58,095 --> 00:48:01,963
La baza lor, totul vine
înapoi la raționamentul logic.

919
00:48:08,720 --> 00:48:11,720
Gândește-te la asta, suntem
toate înconjurate de lucruri

920
00:48:11,720 --> 00:48:14,353
care se bazează pe un fel de
mașină logică sau cod.

921
00:48:15,330 --> 00:48:17,170
Eșecul logicii

922
00:48:17,170 --> 00:48:20,520
pentru a oferi fundație
răspunsuri pentru matematică

923
00:48:20,520 --> 00:48:21,800
a dat totuși naștere

924
00:48:21,800 --> 00:48:24,330
la una dintre cele mai multe
realizări semnificative

925
00:48:24,330 --> 00:48:26,363
în toată știința și inginerie.

926
00:48:29,840 --> 00:48:31,430
A început cu acele uriașe,

927
00:48:31,430 --> 00:48:33,830
computere secrete, cu un singur scop,

928
00:48:33,830 --> 00:48:35,870
și totuși, chiar de la început,

929
00:48:35,870 --> 00:48:39,853
unii oameni erau deja
imaginând următorul mare lucru.

930
00:48:41,470 --> 00:48:43,350
- [Omule] Încă găsim
afla ce va face Logics,

931
00:48:43,350 --> 00:48:45,920
dar toată lumea le are.

932
00:48:45,920 --> 00:48:48,100
Ai o logică în casa ta.

933
00:48:48,100 --> 00:48:50,460
Arată ca un receptor vizual obișnuit,

934
00:48:50,460 --> 00:48:52,410
doar că are chei în loc de cadrane

935
00:48:52,410 --> 00:48:54,810
și dai cu pumnul în taste
pentru ceea ce vrei să obții.

936
00:48:55,680 --> 00:48:58,350
Este cuplat în rezervor, care are...

937
00:48:58,350 --> 00:49:00,940
- [Narator] În 1946,
scriitor de science fiction

938
00:49:00,940 --> 00:49:03,700
și-a imaginat Murray Leinster
un exemplar impresionant

939
00:49:03,700 --> 00:49:06,360
a tehnologiei interconectate.

940
00:49:06,360 --> 00:49:07,760
El a numit-o Logic.

941
00:49:08,800 --> 00:49:10,920
- [Bărbat] Releele din rezervor preiau controlul

942
00:49:10,920 --> 00:49:14,130
și orice program de viziune
SNAFU transmite televiziune

943
00:49:14,130 --> 00:49:15,973
apare pe ecranul dvs. Logic.

944
00:49:17,060 --> 00:49:20,050
Sau dai cu pumnul în telefonul lui Sally Hancock

945
00:49:20,050 --> 00:49:22,500
și ești cuplat cu
Logica din casa ei.

946
00:49:23,440 --> 00:49:25,810
De asemenea, face matematică pentru
tu și ține cărți,

947
00:49:25,810 --> 00:49:29,100
și acționează ca consultanță
chimist, fizician, astronom

948
00:49:29,100 --> 00:49:32,513
si cititor de frunze de ceai, cu an
Sfat pentru Lovelorn aruncat înăuntru.

949
00:49:33,733 --> 00:49:35,103
Este foarte convenabil.

950
00:49:38,100 --> 00:49:39,000
- Ei bine, asta e extraordinar!

951
00:49:39,000 --> 00:49:41,030
Este o caracterizare grozavă

952
00:49:41,030 --> 00:49:43,023
a rețelei care nu s-a născut încă!

953
00:49:55,460 --> 00:49:56,450
- Lumea digitală în care trăim,

954
00:49:56,450 --> 00:49:58,620
computerele care ne înconjoară,

955
00:49:58,620 --> 00:50:02,859
la baza lor, rulează logica booleană.

956
00:50:02,859 --> 00:50:04,360
Adică, ei aleargă
de fapt curenți electrici,

957
00:50:04,360 --> 00:50:07,202
unurile și zerourile sunt produsul
a acelor curenți electrici

958
00:50:07,202 --> 00:50:09,010
dar pe deasupra sunt straturi

959
00:50:09,010 --> 00:50:12,000
pe straturi pe straturi de complexitate,

960
00:50:12,000 --> 00:50:14,930
sisteme de operare, codul mașinii,

961
00:50:14,930 --> 00:50:16,800
aplicații pe care le folosim în fiecare zi,

962
00:50:16,800 --> 00:50:18,890
de la procesoare de text la foi de calcul,

963
00:50:18,890 --> 00:50:20,370
la browserele pe care le folosim.

964
00:50:20,370 --> 00:50:22,210
Și când ai conversația pe Skype

965
00:50:22,210 --> 00:50:23,900
cu mătușa ta în Australia,

966
00:50:23,900 --> 00:50:25,360
nu te gândești la acea interacțiune

967
00:50:25,360 --> 00:50:28,540
în ceea ce priveşte acelea şi
zerouri dar, fără ele,

968
00:50:28,540 --> 00:50:32,100
fără procesarea de bază,
nimic din toate acestea nu ar funcționa.

969
00:50:33,600 --> 00:50:35,160
- [Naratorul] Nu numai că sa lansat Logic

970
00:50:35,160 --> 00:50:36,570
revoluția digitală,

971
00:50:36,570 --> 00:50:39,300
dar este și instrumentul pe care îl folosim pentru a sorta,

972
00:50:39,300 --> 00:50:42,963
căutați și recuperați
informațiile pe care le dorim online.

973
00:50:44,300 --> 00:50:46,780
- World Wide Web pe care îl avem
astăzi reprezintă cea mai mare

974
00:50:46,780 --> 00:50:50,480
construct informativ
umanitatea a creat vreodată.

975
00:50:50,480 --> 00:50:52,760
Are 20 de ani, abia,

976
00:50:52,760 --> 00:50:56,240
și totuși avem miliarde
și miliarde de pagini

977
00:50:56,240 --> 00:50:59,220
încapsulând cunoștințe și informații

978
00:50:59,220 --> 00:51:02,113
din toată cultura umană
și toată istoria omenirii.

979
00:51:03,890 --> 00:51:06,610
Provocarea este să te organizezi
această masă de informații,

980
00:51:06,610 --> 00:51:07,850
această complexitate,

981
00:51:07,850 --> 00:51:10,650
iar logica ne oferă o parte din
instrumentele perfecte pentru a face asta.

982
00:51:15,380 --> 00:51:17,510
- Cu World Wide Web de informații,

983
00:51:17,510 --> 00:51:21,290
logica înseamnă că toți suntem mai mulți
interconectate și informate.

984
00:51:21,290 --> 00:51:24,100
Dar, înapoi în oraș,
marșul mașinilor logice

985
00:51:24,100 --> 00:51:27,560
a avut un cost, iar eu
nu mă refer la toți comercianții

986
00:51:27,560 --> 00:51:29,513
petrec prea mult timp pe Facebook.

987
00:51:30,510 --> 00:51:32,225
În anul în care m-am născut,

988
00:51:32,225 --> 00:51:35,410
there were 22 separate
bursele din Marea Britanie,

989
00:51:35,410 --> 00:51:37,283
și așa s-au făcut afaceri.

990
00:51:38,520 --> 00:51:41,260
Now, this place, the
London Metal Exchange,

991
00:51:41,260 --> 00:51:44,763
is the last venue where
comercianții merg încă față în față.

992
00:51:49,220 --> 00:51:51,900
În primul rând, tehnologia strânsă
din nevoia de comercianți

993
00:51:51,900 --> 00:51:53,710
a se întâlni în persoană.

994
00:51:53,710 --> 00:51:55,620
Și acum sunt comercianții înșiși

995
00:51:55,620 --> 00:51:57,320
care se poate îndrepta spre dispariție.

996
00:51:59,010 --> 00:52:00,670
Nu după mult timp după ce am scris-o,

997
00:52:00,670 --> 00:52:03,601
IBM a făcut câteva teste ale
algoritm de tranzacționare ZIP,

998
00:52:03,601 --> 00:52:06,278
și nu numai ei
confirmă că a funcționat,

999
00:52:06,278 --> 00:52:09,613
au arătat că asta
au depășit comercianții umani.

1000
00:52:16,400 --> 00:52:18,470
Când vine vorba de raționament logic pur,

1001
00:52:18,470 --> 00:52:21,003
computerele tind să ne bată, cu mâinile în jos.

1002
00:52:23,300 --> 00:52:26,170
Este o zicală veche, dar
oamenii din această glumă de afaceri

1003
00:52:26,170 --> 00:52:29,490
că în curând singurele lucruri
veți găsi pe un centru comercial

1004
00:52:29,490 --> 00:52:34,013
va fi un computer mare, un bărbat și un câine.

1005
00:52:35,730 --> 00:52:38,130
Marele computer este acolo
pentru a face toate tranzacțiile.

1006
00:52:39,240 --> 00:52:40,760
Câinele este acolo pentru a se asigura

1007
00:52:40,760 --> 00:52:42,410
că nimeni nu atinge computerul.

1008
00:52:43,280 --> 00:52:44,213
Și treaba bărbatului?

1009
00:52:45,220 --> 00:52:47,110
Pe platforma de tranzacționare a viitorului,

1010
00:52:47,110 --> 00:52:49,673
treaba bărbatului este să hrănească câinele.

1011
00:52:54,510 --> 00:52:57,970
Rețineți, în ciuda rolului meu în
inventând aceste cutii negre,

1012
00:52:57,970 --> 00:52:59,760
Sunt recunoscător că există
încă un om în jur

1013
00:52:59,760 --> 00:53:01,683
a trage uneori de priză.

1014
00:53:03,700 --> 00:53:05,500
Chestia este că computerele încă mai au nevoie

1015
00:53:05,500 --> 00:53:08,420
algoritmii lor logici
să fie scris pentru ei,

1016
00:53:08,420 --> 00:53:10,000
ca să ne ia slujbele,

1017
00:53:10,000 --> 00:53:12,203
dar avem totuși mâna de sus.

1018
00:53:13,680 --> 00:53:15,640
Totuși, încă de la inventarea lor,

1019
00:53:15,640 --> 00:53:18,498
întrebarea dacă
acesta va fi întotdeauna cazul

1020
00:53:18,498 --> 00:53:20,833
a fost o chestiune de dezbatere acerbă.

1021
00:53:28,930 --> 00:53:31,890
Când revoluția digitală
era la început,

1022
00:53:31,890 --> 00:53:33,660
posibilitatea calculatoarelor

1023
00:53:33,660 --> 00:53:36,250
dezvoltarea inteligenței umane

1024
00:53:36,250 --> 00:53:38,760
a fost cel mai tare subiect din oraș.

1025
00:53:38,760 --> 00:53:42,613
Ar putea o mașină să gândească vreodată,
folosind doar regulile logicii?

1026
00:53:43,610 --> 00:53:45,893
Sau există mai mult pentru noi decât atât?

1027
00:53:47,370 --> 00:53:51,163
În 1950, Alan Turing a publicat
un alt eseu vizionar.

1028
00:53:52,000 --> 00:53:54,940
În ea, el a prezis că,
până la sfârșitul secolului,

1029
00:53:54,940 --> 00:53:57,670
un calculator ar putea
a conversa cu un om,

1030
00:53:57,670 --> 00:53:59,820
iar omul nu ar face-o
cunoașteți diferența.

1031
00:54:01,410 --> 00:54:02,970
În încercarea de a realiza acest lucru,

1032
00:54:02,970 --> 00:54:04,570
oameni din domeniul meu au creat

1033
00:54:04,570 --> 00:54:07,253
niște mașini de calcul cu adevărat uimitoare.

1034
00:54:10,890 --> 00:54:14,700
Acesta este supercalculatorul universității mele.

1035
00:54:14,700 --> 00:54:17,870
Deși este mai mare și
mai zgomotos decât Colossus,

1036
00:54:17,870 --> 00:54:21,890
pentru fiecare cifr Lorenz
acea mașină ar putea rezolva,

1037
00:54:21,890 --> 00:54:24,193
asta poate rezolva peste două milioane.

1038
00:54:25,200 --> 00:54:26,650
Ocupă toată camera!

1039
00:54:29,060 --> 00:54:31,350
Mașinile ca acesta sunt caii de lucru

1040
00:54:31,350 --> 00:54:34,080
a cercetării actuale centrate pe date.

1041
00:54:34,080 --> 00:54:36,040
Toate comutatoarele, firele și porțile logice

1042
00:54:36,040 --> 00:54:38,580
au dispărut de mult sub capotă

1043
00:54:38,580 --> 00:54:41,940
adică, pentru TV, avem
un obicei de a încerca să se prefacă

1044
00:54:41,940 --> 00:54:44,040
că toate acestea nu arată ca o încărcătură de,

1045
00:54:44,980 --> 00:54:46,263
bine, dulapuri.

1046
00:54:47,660 --> 00:54:49,163
Sau o spălătorie.

1047
00:54:53,140 --> 00:54:54,340
Turing a crezut că,

1048
00:54:54,340 --> 00:54:57,810
până când ne dezvoltasem
calculatoare la fel de puternice ca acesta,

1049
00:54:57,810 --> 00:55:00,360
am fi si noi capabili
de programare a unei mașini

1050
00:55:00,360 --> 00:55:03,200
cu reguli suficiente de raţionament logic

1051
00:55:03,200 --> 00:55:06,563
că inteligenţa ei ar
rivalizează cu noi, oamenii.

1052
00:55:07,500 --> 00:55:11,633
Asta a fost atunci și rămâne
acum, o idee foarte controversată.

1053
00:55:13,720 --> 00:55:17,590
- Ne place să ne gândim la noi
inteligenţa ca ne-a crescut

1054
00:55:17,590 --> 00:55:20,800
la un nivel deasupra restului creației.

1055
00:55:20,800 --> 00:55:25,700
O asociem cu ideea
poate de un suflet imaterial,

1056
00:55:25,700 --> 00:55:29,870
nu fiind doar unul dintre
alte animale, dar deosebite.

1057
00:55:29,870 --> 00:55:34,000
Și ce sugera Turing
era că această calitate deosebită

1058
00:55:34,000 --> 00:55:38,070
ar putea aparține unui nod
a mașinilor de calcul,

1059
00:55:38,070 --> 00:55:42,520
și ar putea raționa în mod corect
cât de bine am putut,

1060
00:55:42,520 --> 00:55:43,963
poate chiar mai bine.

1061
00:55:46,580 --> 00:55:48,010
- La Bletchley Park,

1062
00:55:48,010 --> 00:55:51,410
Turing schiţase
algoritmi pentru jocul de șah.

1063
00:55:51,410 --> 00:55:54,060
La acea vreme, tabla de șah era dominată

1064
00:55:54,060 --> 00:55:56,660
de unii din lume
cea mai strălucită strategică,

1065
00:55:56,660 --> 00:55:59,620
creiere logice, matematice.

1066
00:55:59,620 --> 00:56:01,310
Și așa a devenit terenul de luptă

1067
00:56:01,310 --> 00:56:04,350
pentru o provocare cu totul nouă pentru logică,

1068
00:56:04,350 --> 00:56:06,323
inteligența artificială.

1069
00:56:09,080 --> 00:56:12,450
În 1997, cea mai faimoasă bătălie publică

1070
00:56:12,450 --> 00:56:15,310
între om și mașină a avut loc.

1071
00:56:15,310 --> 00:56:18,780
Garry Kasparov, domnitorul
campion mondial la șah,

1072
00:56:18,780 --> 00:56:20,230
depășise anterior

1073
00:56:20,230 --> 00:56:24,150
Computerul IBM pentru jocul de șah, Deep Blue.

1074
00:56:24,150 --> 00:56:25,540
În timpul revanșei lor,

1075
00:56:25,540 --> 00:56:28,233
pentru prima dată, a fost bătut.

1076
00:56:29,310 --> 00:56:32,728
Kasparov a demisionat!

1077
00:56:32,728 --> 00:56:33,840
(publicul aplauda)

1078
00:56:33,840 --> 00:56:37,460
Când văd ceva care este
cu mult peste înțelegerea mea,

1079
00:56:37,460 --> 00:56:38,685
mi-e frică.

1080
00:56:38,685 --> 00:56:41,880
Și asta a fost ceva bine
dincolo de înțelegerea mea.

1081
00:56:41,880 --> 00:56:44,460
Era știri de prima pagină din întreaga lume.

1082
00:56:44,460 --> 00:56:46,800
Oamenii cereau răspunsuri.

1083
00:56:46,800 --> 00:56:49,740
Era acest lucru pur logic
echivalentul inteligenței,

1084
00:56:49,740 --> 00:56:52,583
sau chiar superior, creierului uman?

1085
00:56:54,140 --> 00:56:58,490
- În trecut, oamenii au făcut-o
tindea să compare oamenii

1086
00:56:58,490 --> 00:57:00,350
la cea mai recentă tehnologie.

1087
00:57:00,350 --> 00:57:03,130
Deci poate creierul este ca un ceas,

1088
00:57:03,130 --> 00:57:05,840
sau poate e ca un motor cu abur,

1089
00:57:05,840 --> 00:57:08,853
acum, poate e ca
un calculator electronic.

1090
00:57:10,420 --> 00:57:14,120
Ce și-ar dori Turing
spune și, cred, corect,

1091
00:57:14,120 --> 00:57:16,140
este că există ceva diferit

1092
00:57:16,140 --> 00:57:19,113
despre ecuația lui
creierul cu un computer.

1093
00:57:21,100 --> 00:57:23,660
- [Naratorul] El a spus așa
atât un creier cât și un computer

1094
00:57:23,660 --> 00:57:26,220
sunt sisteme de procesare a informațiilor,

1095
00:57:26,220 --> 00:57:28,193
guvernat de reguli logice.

1096
00:57:29,110 --> 00:57:33,420
- În teorie, ar trebui
fie reguli logice acolo

1097
00:57:33,420 --> 00:57:36,543
care ar surprinde modul în care gândim.

1098
00:57:39,370 --> 00:57:43,170
- Aceasta a fost o idee foarte mare, cu profunde,

1099
00:57:43,170 --> 00:57:45,630
chiar și tulburătoare, implicații.

1100
00:57:45,630 --> 00:57:49,730
Dacă am ști acele reguli,
apoi într-o zi, teoretic,

1101
00:57:49,730 --> 00:57:51,690
am putea codifica o redare logică

1102
00:57:51,690 --> 00:57:54,800
de noi înșine într-un computer.

1103
00:57:54,800 --> 00:57:59,053
Tot ce avem nevoie pentru a reproduce
toată gândirea umană este logică.

1104
00:58:01,150 --> 00:58:06,030
Părerea mea este că rămân
caracteristici unice umane,

1105
00:58:06,030 --> 00:58:11,030
probabil cele mai bune, cum ar fi
altruism sau creativitate sau dragoste,

1106
00:58:11,430 --> 00:58:14,490
că computerele nici măcar nu sunt
aproape de a fi programat

1107
00:58:14,490 --> 00:58:17,253
în cadrul repertoriului lor
de raționament logic.

1108
00:58:18,200 --> 00:58:21,100
Nimeni nu a creat încă o mașină logică

1109
00:58:21,100 --> 00:58:22,720
este la fel ca noi.

1110
00:58:22,720 --> 00:58:25,970
Și, fără îndoială, asta ar putea
ia foarte, foarte mult timp,

1111
00:58:25,970 --> 00:58:27,520
dacă într-adevăr este posibil.

1112
00:58:29,250 --> 00:58:31,420
Și totuși, cu siguranță, ar trebui să ne minunăm

1113
00:58:31,420 --> 00:58:33,913
la ceea ce am realizat cu logica.

1114
00:58:34,810 --> 00:58:38,910
Amintiți-vă că noi am creat regulile
de logică pentru a stabili adevărul

1115
00:58:38,910 --> 00:58:42,970
și certitudinea că ar fi
altfel, atât de ușor scăpa de noi.

1116
00:58:42,970 --> 00:58:45,430
Am valorificat logica în mașini

1117
00:58:45,430 --> 00:58:48,250
și, făcând asta, am plasat
puterea rațiunii pure

1118
00:58:48,250 --> 00:58:49,613
la îndemâna noastră.

1119
00:58:52,480 --> 00:58:55,050
Rețineți, încă nu mă pricep la Sudoku.

1120
00:58:55,050 --> 00:59:00,050
- [Cranic] Unu, doi,
unu, doi, trei, patru.

1121
00:59:00,376 --> 00:59:03,293
(muzica electronica)